Searched defs:round (Results 1 - 11 of 11) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/modules/IntInfAsInt/
H A DRealStringCvt.sml72 and round = toLargeInt IEEEReal.TO_NEAREST value
108 val round : real -> int =Real.round; value
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DRealSignature.sml100 val round : real -> Int.int value
H A DReal.sml218 fun round x = toArbitrary(realRound x) function
231 and round = LargeInt.toInt o round value
615 val round : real -> int =Real.round; value
/seL4-l4v-10.1.1/HOL4/src/float/
H A DieeeScript.sml229 val round = TotalDefn.Define `(round(X:num#num) (To_nearest) (x:real) = value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/
H A DregAllocation.sml219 fun round (inS, outS)= function
335 fun round n = function
360 let fun round n = function
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/
H A DregAllocation.sml219 fun round (inS, outS)= function
335 fun round n = function
360 let fun round n = function
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/
H A DregAllocation.sml219 fun round (inS, outS)= function
335 fun round n = function
360 let fun round n = function
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/common/
H A Dcore_decompilerLib.sml566 fun round (input, get_assert, triple_refl) = function
658 val round = round (inp, get_assert, triple_refl) value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/riscv/model/
H A Driscv.sig711 val round: BitsN.nbit -> (IEEEReal.rounding_mode option) value
H A Driscv.sml2319 fun round rnd = function
[all...]
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/model/
H A Darm.sml12824 val round = value
12879 val round = value
[all...]

Completed in 155 milliseconds