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

/seL4-l4v-10.1.1/HOL4/polyml/modules/IntInfAsInt/
H A DInteger.sml33 val quotRem : int * int -> int * int value
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DIntInf.sml22 val quotRem : int * int -> int * int value
37 val quotRem = LibrarySupport.quotRem value
H A DLibrarySupport.sml62 val quotRem: LargeInt.int*LargeInt.int -> LargeInt.int*LargeInt.int value
193 val quotRem = LargeInt.quotRem value

Completed in 37 milliseconds