| /seL4-l4v-10.1.1/l4v/tools/autocorres/doc/quickstart/ |
| H A D | minmax.c | 17 unsigned min(unsigned a, unsigned b) { function
|
| /seL4-l4v-10.1.1/HOL4/src/metis/ |
| H A D | mlibOmegaint.sig | 36 val min : int * int -> int value
|
| H A D | mlibArbint.sig | 42 val min : int * int -> int value
|
| H A D | mlibArbint.sml | 116 fun min (i,j) = if i < j then i else j function
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/lib/ |
| 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
|
| 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
|
| /seL4-l4v-10.1.1/HOL4/src/portableML/ |
| H A D | Arbrat.sig | 41 val min : rat * rat -> rat value
|
| H A D | Arbrat.sml | 88 fun min(r1, r2) = if r1 < r2 then r1 else r2 function
|
| H A D | Table.sml | 30 val min: 'a table -> (key * 'a) option value
133 fun min Empty = NONE function
|
| /seL4-l4v-10.1.1/HOL4/src/portableML/mosml/ |
| H A D | Arbintcore.sig | 39 val min : int * int -> int value
|
| H A D | Arbintcore.sml | 116 fun min (i,j) = if i < j then i else j function
|
| /seL4-l4v-10.1.1/HOL4/src/portableML/poly/ |
| H A D | Arbintcore.sig | 41 val min : int * int -> int value
|
| H A D | Intmap.sml | 120 fun min (T{left=E,key,value,...}) = (key,value) function
|
| H A D | Intset.sml | 151 fun min (T(v,_,E,_)) = v function
|
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | INTEGER.sml | 47 val min : (int * int) -> int value
|
| H A D | WordSignature.sml | 55 val min : (word * word) -> word value
|
| /seL4-l4v-10.1.1/HOL4/src/num/arith/src/ |
| H A D | Sup_Inf.sml | 350 and min = eval_min_bound (tl bl) value
|
| /seL4-l4v-10.1.1/HOL4/tools-poly/poly/ |
| H A D | Binarymap.sml | 126 fun min (T{left=E,key,value,...}) = (key,value) function
|
| H A D | Binaryset.sml | 175 fun min (T{elt=v,left=E,...}) = v function
|
| /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
|