Searched defs:bound (Results 1 - 10 of 10) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/num/arith/src/
H A DSup_Inf.sig5 datatype bound = Bound of Rationals.rat * (string * Rationals.rat) list type
[all...]
H A DSup_Inf.sml43 datatype bound = Bound of rat * (string * rat) list type
[all...]
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/
H A DDynarray.sig15 val bound : 'a array -> int value
H A DDynarray.sml36 fun bound (BLOCK (arr, _)) = Array.length (!arr) function
/seL4-l4v-10.1.1/HOL4/src/monad/more_monads/
H A Dselftest.sml36 fun bound s = "\^[[0;32m" ^ s ^ "\^[[0m" function
/seL4-l4v-10.1.1/HOL4/src/num/theories/
H A Dselftest.sml60 fun bound s = "\^[[0;32m" ^ s ^ "\^[[0m" function
[all...]
/seL4-l4v-10.1.1/HOL4/src/string/
H A DstringLib.sml15 val bound = numSyntax.term_of_int 256 value
/seL4-l4v-10.1.1/HOL4/src/1/
H A Dselftest.sml421 fun bound s = "\^[[0;32m" ^ s ^ "\^[[0m" function
/seL4-l4v-10.1.1/HOL4/src/n-bit/
H A DwordsLib.sml2158 datatype bound = LE_BOUND of Arbnum.num type
[all...]
/seL4-l4v-10.1.1/HOL4/src/tfl/src/
H A DDefn.sml593 "and bound in the definition: \n "] @ strings_of probs)) function

Completed in 80 milliseconds