/seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
H A D | Ordered.sig | 11 val compare : t * t -> order value [all...] |
H A D | KnuthBendixOrder.sig | 20 val compare : kbo -> Term.term * Term.term -> order option value
|
H A D | Ordered.sml | 7 struct type t = int val compare = Int.compare end; value 14 fun compare ((i1,j1),(i2,j2)) = function 23 struct type t = string val compare = String.compare end; value
|
H A D | Name.sig | 19 val compare : name * name -> order value
|
H A D | NameArity.sig | 37 val compare : nameArity * nameArity -> order value
|
H A D | Name.sml | 21 val compare = String.compare; value 79 struct type t = Name.name val compare = Name.compare end value
|
H A D | NameArity.sml | 34 fun compare ((n1,i1),(n2,i2)) = function 55 struct type t = NameArity.nameArity val compare = NameArity.compare end value
|
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
H A D | Ordered.sig | 11 val compare : t * t -> order value [all...] |
H A D | KnuthBendixOrder.sig | 20 val compare : kbo -> Term.term * Term.term -> order option value
|
H A D | Ordered.sml | 7 struct type t = int val compare = Int.compare end; value 14 fun compare ((i1,j1),(i2,j2)) = function 23 struct type t = string val compare = String.compare end; value
|
H A D | Name.sig | 19 val compare : name * name -> order value
|
H A D | NameArity.sig | 37 val compare : nameArity * nameArity -> order value
|
H A D | Name.sml | 21 val compare = String.compare; value 79 struct type t = Name.name val compare = Name.compare end value
|
H A D | NameArity.sml | 34 fun compare ((n1,i1),(n2,i2)) = function 55 struct type t = NameArity.nameArity val compare = NameArity.compare end value
|
/seL4-l4v-master/HOL4/tools/Holmake/ |
H A D | SourcePos.sig | 19 val compare: t * t -> order value
|
H A D | SourcePos.sml | 24 fun compare (T {column = c, file = f, line = l}, function
|
/seL4-l4v-master/HOL4/examples/elliptic/ |
H A D | Algebra.sig | 18 val compare : expression * expression -> order value
|
/seL4-l4v-master/HOL4/src/integer/testing/ |
H A D | testdp.sml | 36 fun compare (t0,n) = let function
|
/seL4-l4v-master/HOL4/src/metis/ |
H A D | mlibTermorder.sig | 36 val compare : termorder -> term * term -> order option value
|
H A D | mlibMultiset.sig | 19 val compare : 'a mset * 'a mset -> order option value
|
H A D | mlibOmegaint.sig | 35 val compare : int * int -> order value
|
/seL4-l4v-master/HOL4/polyml/basis/ |
H A D | PRIM_IO.sml | 33 val compare : pos * pos -> General.order value
|
/seL4-l4v-master/HOL4/examples/l3-machine-code/lib/ |
H A D | Bitstring.sig | 9 val compare: bitstring * bitstring -> order value
|
H A D | Nat.sig | 9 val compare: nat * nat -> order value
|
H A D | Nat.sml | 28 val compare = IntInf.compare value
|