| /seL4-l4v-master/HOL4/examples/dev/sw/ |
| H A D | int-binary-map.sml | 57 val compare = Int.compare value
|
| /seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/ |
| H A D | int-binary-map.sml | 57 val compare = Int.compare value
|
| /seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/util/ |
| H A D | int-binary-map.sml | 57 val compare = Int.compare value
|
| /seL4-l4v-master/HOL4/examples/elliptic/ |
| H A D | Algebra.sml | 93 fun compare (e1,e2) = function
|
| /seL4-l4v-master/HOL4/examples/l3-machine-code/lib/ |
| H A D | BitsN.sig | 17 val compare: nbit * nbit -> order value
|
| H A D | BitsN.sml | 94 fun compare (B (a, b), B (c, d)) = function
|
| H A D | FP64.sml | 105 val compare = R.compareReal o fromBits2 value
|
| H A D | L3.sml | 40 fun compare ([], _) = General.EQUAL function
|
| /seL4-l4v-master/HOL4/src/portableML/ |
| H A D | Table.sml | 303 fun compare NONE (k2, _) = LESS function
|
| /seL4-l4v-master/HOL4/src/prekernel/ |
| H A D | FinalType-sig.sml | 26 val compare : hol_type * hol_type -> order value
|
| /seL4-l4v-master/HOL4/developers/ |
| H A D | comparelogs.sml | 143 fun compare (thy1, thy2) = let function
|
| /seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
| H A D | Atom.sig | 53 val compare : atom * atom -> order value
|
| H A D | Atom.sml | 68 fun compare ((p1,tms1),(p2,tms2)) = function
244 struct type t = Atom.atom val compare = Atom.compare end value
|
| H A D | ElementSet.sig | 129 val compare : set * set -> order value
|
| H A D | Formula.sig | 125 val compare : formula * formula -> order value
|
| H A D | KeyMap.sig | 164 val compare : ('a * 'a -> order) -> 'a map * 'a map -> order value
|
| H A D | Literal.sig | 67 val compare : literal * literal -> order (* negative < positive *) value
|
| H A D | Map.sig | 154 val compare : ('a * 'a -> order) -> ('key,'a) map * ('key,'a) map -> order value
|
| H A D | Set.sig | 119 val compare : 'elt set * 'elt set -> order value
|
| H A D | Set.sml | 282 fun compare (Set m1, Set m2) = Map.compare compareValue (m1,m2); function
|
| H A D | Term.sig | 81 val compare : term * term -> order value
|
| /seL4-l4v-master/HOL4/polyml/basis/ |
| H A D | Int.sml | 42 val compare : (int * int) -> General.order value
84 fun compare (i, j) = function
401 fun compare (i, j) = function
|
| H A D | PrimIO.sml | 33 val compare : pos * pos -> order value
44 val compare = compare value
|
| H A D | RealSignature.sml | 54 val compare : (real * real) -> General.order value
|
| /seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Atom.sig | 53 val compare : atom * atom -> order value
|