Searched defs:lowercase (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/lib/
H A DL3.sig21 val lowercase : string -> string value
H A DL3.sml14 val lowercase = String.map Char.toLower value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/common/
H A DutilsLib.sig64 val lowercase: string -> string value
H A DutilsLib.sml196 val lowercase = String.map Char.toLower value
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/
H A Darm_stepLib.sml219 val lowercase = String.map Char.toLower value

Completed in 110 milliseconds