Searched defs:chomp (Results 1 - 9 of 9) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/elliptic/
H A DUseful.sig259 val chomp : string -> string value
H A DUseful.sml557 fun chomp s = function
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibUseful.sig124 val chomp : string -> string value
H A DmlibUseful.sml469 fun chomp s = function
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DUseful.sig222 val chomp : string -> string value
H A DUseful.sml556 fun chomp s = function
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DUseful.sig222 val chomp : string -> string value
H A DUseful.sml556 fun chomp s = function
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/
H A DRegexp_Type.sml425 fun chomp ch = function

Completed in 109 milliseconds