Searched defs:scanString (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DStringSignatures.sml176 val scanString : ((char, cs) reader -> ('a, cs) reader) -> string -> 'a option value
H A DString.sml639 fun scanString cvt s = function
1027 fun scanString str (l: string list) haveRead = function

Completed in 34 milliseconds