Searched defs:fmt (Results 1 - 10 of 10) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DDateSignature.sml54 val fmt : string -> date -> string value
H A DINTEGER.sml51 val fmt : StringCvt.radix -> int -> string value
H A DWordSignature.sml57 val fmt : StringCvt.radix -> word -> string value
H A DTime.sml44 val fmt : int -> time -> string value
109 fun fmt n r = Real.fmt (StringCvt.FIX(SOME(Int.max(n, 0)))) (toReal r) function
H A DInt.sml54 val fmt : StringCvt.radix -> int -> string value
136 fun fmt radix i = function
419 fun fmt r n = LargeInt.fmt r (toLarge n) function
H A DLargeWord.sml210 fun fmt radix i = LargeInt.fmt radix (toLargeInt i) function
317 fun fmt radix i = LargeInt.fmt radix (toLargeInt i) function
H A DRealSignature.sml74 val fmt : StringCvt.realfmt -> real -> string value
H A DDate.sml448 fun fmt s (date as {year, month, day, hour, minute, second, offset}) = function
H A DReal.sml412 fun fmt (SCI NONE) = sciFmt 6 function
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/modules/IntInfAsInt/
H A DRealStringCvt.sml95 val fmt = rfmt value

Completed in 99 milliseconds