Searched defs:precision (Results 1 - 12 of 12) sorted by relevance

/seL4-l4v-master/HOL4/examples/muddy/
H A Dfdd.sig4 type precision = int type
H A Dfdd.sml9 type precision = int type
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/
H A DBUILTINS.sml70 and precision type
[all...]
/seL4-l4v-master/HOL4/polyml/modules/IntInfAsInt/
H A DInteger.sml48 val precision = Option.map FixedInt.toLarge precision value
62 val precision = Option.map toLarge precision value
H A DRealStringCvt.sml62 val precision = FixedInt.toLarge precision value
/seL4-l4v-master/HOL4/polyml/basis/
H A DInt32.sml30 val precision:Int.int = 32 value
39 val precision = SOME precision value
H A DINTEGER.sml26 val precision : Int.int option value
H A DInt.sml29 val precision : Int.int option value
76 val precision = NONE (* Arbitrary precision. *) value
362 val precision = SOME(toInt wordSize) value
[all...]
H A DRealSignature.sml28 val precision : int value
H A DReal.sml80 val precision : int = callRealToInt 12 () value
H A DReal32.sml53 val precision : int = callFloatToInt 31 () value
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/CodeTree/
H A DBackendIntermediateCode.sml74 and precision = PrecSingle | PrecDouble type

Completed in 116 milliseconds