| /seL4-l4v-10.1.1/HOL4/developers/mlton-srcs/ |
| H A D | Binarymap.sml | 195 fun min (T{left=E,key,value,...}) = (key,value) function
|
| /seL4-l4v-10.1.1/HOL4/examples/dev/sw/ |
| H A D | int-binary-map.sml | 136 fun min (T{left=E,key,value,...}) = (key,value) function
|
| /seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/ |
| H A D | int-binary-map.sml | 136 fun min (T{left=E,key,value,...}) = (key,value) function
|
| /seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/util/ |
| H A D | int-binary-map.sml | 136 fun min (T{left=E,key,value,...}) = (key,value) function
|
| /seL4-l4v-10.1.1/HOL4/examples/diningcryptos/ |
| H A D | formalizeUseful.sig | 144 val min : ('a -> 'a -> bool) -> 'a list -> 'a value
|
| H A D | formalizeUseful.sml | 316 fun min _ [] = raise ERR "min" "empty list" function
|
| H A D | subtypeUseful.sig | 144 val min : ('a -> 'a -> bool) -> 'a list -> 'a value
|
| H A D | subtypeUseful.sml | 316 fun min _ [] = raise ERR "min" "empty list" function
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/lib/ |
| H A D | BitsN.sig | 76 val min: nbit * nbit -> nbit value
|
| H A D | BitsN.sml | 213 fun min (B (v1, _), B (v2, s)) = B (IntInf.min (v1, v2), s) function
|
| H A D | Nat.sig | 46 val min: nat * nat -> nat value
|
| H A D | Nat.sml | 56 fun min (a, b) = if a < b then a else b function
|
| /seL4-l4v-10.1.1/HOL4/examples/miller/useful/ |
| H A D | HurdUseful.sig | 143 val min : ('a -> 'a -> bool) -> 'a list -> 'a value
|
| H A D | HurdUseful.sml | 292 fun min _ [] = raise ERR "min" "empty list" function
|
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | Foreign.sml | 986 val max = IntInf.<<(1, 0w63) - 1 and min = ~ (IntInf.<<(1, 0w63)) value
|
| H A D | INTEGER.sml | 47 val min : (int * int) -> int value
|
| H A D | Int.sml | 50 val min : (int * int) -> int value
88 fun min (i, j) = if i < j then i else j function
407 fun min (i, j) = if i < j then i else j function
|
| H A D | LargeWord.sml | 217 fun min (i, j) = if i < j then i else j function
312 fun min (i, j) = if i < j then i else j function
|
| H A D | Posix.sml | 412 val min : int value
1461 and min = SysWord.toInt(getConst 77) value
|
| H A D | Real.sml | 143 fun min (a: real, b: real): real = if a < b orelse isNan b then a else b function
|
| H A D | RealSignature.sml | 47 val min : (real * real) -> real value
|
| H A D | WordSignature.sml | 55 val min : (word * word) -> word value
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | timing.cpp | 107 #undef min macro
|
| H A D | xwindows.cpp | 292 #define min(a,b) (a < b ? a : b) macro
|
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/ |
| H A D | CODETREE_STATIC_LINK_AND_CASES.sml | 601 val (min, max) = List.foldl foldCases (aLabel, aLabel) cases value
638 val (min, ma value
[all...] |