Searched defs:fromString (Results 1 - 25 of 86) sorted by relevance

1234

/seL4-l4v-master/HOL4/src/metis/
H A DmlibOmegaint.sml9 val fromString = SOME o fromString value
H A DmlibArbnum.sig22 val fromString : string -> num value
H A DmlibOmegaint.sig14 val fromString : string -> int option value
H A DmlibArbint.sig15 val fromString : string -> int value
/seL4-l4v-master/HOL4/tools/Holmake/
H A DQFRead.sig8 val fromString : bool -> string -> string value
/seL4-l4v-master/HOL4/examples/l3-machine-code/lib/
H A DIntExtra.sig7 val fromString : string -> IntInf.int option value
H A DIntExtra.sml18 val fromString = scanInt StringCvt.DEC value
H A DNat.sig14 val fromString: string -> nat option value
H A DNat.sml17 val fromString = Option.composePartial (from_int, IntExtra.fromString) value
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DName.sig43 val fromString : string -> name value
H A DName.sml74 fun fromString s : name = s; function
H A DParse.sig95 val fromString : (char,'a) parser -> string -> 'a value
/seL4-l4v-master/HOL4/polyml/basis/
H A DBool.sml25 val fromString : string -> bool option value
67 val fromString = StringCvt.scanString scan value
H A DIEEE_REAL.sml44 val fromString : string -> decimal_approx option value
H A DInt32.sml61 val fromString = Option.map check o fromString value
H A DIEEEReal.sml210 fun fromString (s: string): decimal_approx option = StringCvt.scanString scan s function
H A DINTEGER.sml53 val fromString : string -> int option value
H A DWord16.sml96 val fromString = StringCvt.scanString (scan StringCvt.HEX) value
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DName.sig43 val fromString : string -> name value
H A DName.sml74 fun fromString s : name = s; function
/seL4-l4v-master/HOL4/src/portableML/poly/
H A DArbintcore.sml19 fun fromString s = function
H A DArbintcore.sig13 val fromString : string -> int value
/seL4-l4v-master/HOL4/src/portableML/
H A DArbrat.sig16 val fromString : string -> rat (* only integral forms *) value
/seL4-l4v-master/HOL4/src/portableML/mosml/
H A DArbintcore.sig13 val fromString : string -> int value
H A DArbintcore.sml99 fun fromString s = let function

Completed in 133 milliseconds

1234