| /seL4-l4v-10.1.1/HOL4/tools-poly/poly/ |
| H A D | Help.sml | 96 fun min (x, y) = if x < y then x else y : int; function
|
| /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/basis/ |
| 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 | RealSignature.sml | 47 val min : (real * real) -> real 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 | Foreign.sml | 986 val max = IntInf.<<(1, 0w63) - 1 and min = ~ (IntInf.<<(1, 0w63)) value
|
| H A D | Posix.sml | 412 val min : int value
1461 and min = SysWord.toInt(getConst 77) value
|
| /seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/ |
| H A D | Global.h | 53 template<class T> static inline T min(T x, T y) { return (x < y) ? x : y; } function
|
| /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...] |
| /seL4-l4v-10.1.1/HOL4/src/integer/ |
| H A D | CooperShell.sml | 605 fun min (c_tm, acc as (accv, acci)) = let function
|
| /seL4-l4v-10.1.1/HOL4/src/metis/ |
| H A D | mlibUseful.sig | 100 val min : 'a ordering -> 'a list -> 'a * 'a list value
|
| H A D | mlibUseful.sml | 306 fun min cmp = function
|
| /seL4-l4v-10.1.1/HOL4/src/1/ |
| H A D | Pmatch.sml | |
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ |
| H A D | CommonDialog.sml | 1355 val (min, max) = case size of SOME {min, max} => (min, max) | NONE => (0,0) value
[all...] |
| /seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
| H A D | Useful.sml | 395 fun min (l,m,r) _ [] = (m, List.revAppend (l,r)) function
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Useful.sml | 395 fun min (l,m,r) _ [] = (m, List.revAppend (l,r)) 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 | subtypeUseful.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.sml | 316 fun min _ [] = raise ERR "min" "empty list" 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
|