Searched defs:man (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/HOL4/polyml/modules/IntInfAsInt/
H A DRealStringCvt.sml64 val toManExp = fn r => let val {man, exp} = toManExp r in {man=man, exp= FixedInt.toLarge exp} end value
/seL4-l4v-master/HOL4/polyml/basis/
H A DReal.sml186 val { man, exp } = toManExp x value
[all...]
H A DReal32.sml120 val {man, exp} = Real.toManExp(toLarge r) value
[all...]

Completed in 84 milliseconds