Searched defs:ln (Results 1 - 9 of 9) sorted by relevance

/seL4-l4v-master/l4v/tools/c-parser/testfiles/
H A Dselection_sort.c29 unsigned ln; local
/seL4-l4v-master/HOL4/polyml/basis/
H A DMATH.sml38 val ln : real -> real value
H A DSML90.sml40 val ln : real -> real value
76 fun ln x = if x < 0.0 then raise Ln else Real.Math.ln x function
H A DReal.sml48 and ln = Real.rtsCallFastR_R "PolyRealLog" value
H A DReal32.sml257 and ln = rtsCallFastF_F "PolyRealFLog" value
/seL4-l4v-master/HOL4/src/finite_maps/
H A DsptreeSyntax.sml124 val ln = mk_ln (Term.type_of a) value
/seL4-l4v-master/HOL4/examples/ARM/v4/
H A DassemblerML.sml73 val ln = fromInt l value
/seL4-l4v-master/HOL4/src/real/
H A DtranscScript.sml549 val ln = new_definition("ln", value
[all...]
H A DrealSimps.sml978 val ln = toN li and rn = toN ri value

Completed in 83 milliseconds