Searched defs:explode (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DSML90.sml46 val explode : string -> string list value
83 fun explode s = map String.str (String.explode s) function
H A DStringSignatures.sml82 val explode : string -> char list value
129 val explode : substring -> char list value
H A DString.sml288 fun explode (s : string) : char list = stringExplode(s, 0w0, sizeAsWord s) function
1277 val explode : substring -> char list value
1385 fun explode (Slice{vector=s, start=i, length=l}) : char list = stringExplode(s, i, l) function
1698 val explode : string -> char list = String.explode value
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DPortable.sig188 val explode: string -> string list value
H A DPortable.sml542 val explode = map Char.toString o String.explode value
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A Dbasis2002.sml712 val explode : substring -> char list value

Completed in 62 milliseconds