Searched defs:div (Results 1 - 15 of 15) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibArbnum.sig30 val div : num * num -> num value
H A DmlibOmegaint.sig22 val div : (int * int) -> int value
H A DmlibArbint.sig25 val div : (int * int) -> int value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/lib/
H A DNat.sig44 val div: nat * nat -> nat value
H A DFP.sml17 val div: IEEEReal.rounding_mode * (BitsN.nbit * BitsN.nbit) -> value
H A DBitsN.sig71 val div: nbit * nbit -> nbit value
/seL4-l4v-10.1.1/HOL4/src/portableML/mosml/
H A DArbintcore.sig23 val div : (int * int) -> int value
H A DArbnumcore.sig43 val div : num * num -> num value
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/
H A DArbintcore.sig25 val div : (int * int) -> int value
H A DArbnumcore.sig45 val div : num * num -> num value
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DINTEGER.sml33 val div : (int * int) -> int value
H A DWordSignature.sml47 val div : (word * word) -> word value
H A DInt.sml36 val div : (int * int) -> int value
/seL4-l4v-10.1.1/HOL4/examples/muddy/
H A Dbvec.sig25 val div : bvec * bvec -> bvec * bvec value
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dbvec.c849 bvec div, divtmp; local

Completed in 119 milliseconds