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

/seL4-l4v-master/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-master/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-master/HOL4/src/num/theories/
H A Dselftest.sml60 fun bound s = "\^[[0;32m" ^ s ^ "\^[[0m" function
[all...]
/seL4-l4v-master/HOL4/src/monad/more_monads/
H A Dselftest.sml39 fun bound s = "\^[[0;32m" ^ s ^ "\^[[0m" function
[all...]
/seL4-l4v-master/HOL4/src/string/
H A DstringLib.sml15 val bound = numSyntax.term_of_int 256 value
/seL4-l4v-master/HOL4/examples/formal-languages/regular/
H A DRegexp_Numerics.sml76 val bound = twoE (k*8 - 1) value
99 val bound = IntInf.div(top, IntInf.fromInt 2) value
107 val bound = IntInf.div(top, IntInf.fromInt 2) value
/seL4-l4v-master/HOL4/src/1/
H A Dselftest.sml425 fun bound s = "\^[[0;32m" ^ s ^ "\^[[0m" function
/seL4-l4v-master/HOL4/src/n-bit/
H A DwordsLib.sml2166 datatype bound = LE_BOUND of Arbnum.num type
[all...]
/seL4-l4v-master/HOL4/src/tfl/src/
H A DDefn.sml606 "and bound in the definition: \n "] @ strings_of probs)) function

Completed in 94 milliseconds