/seL4-l4v-10.1.1/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-10.1.1/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
|
/seL4-l4v-10.1.1/HOL4/src/postkernel/ |
H A D | ThyDataSexp.sig | 17 val compare : t * t -> order value
|
/seL4-l4v-10.1.1/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
|
H A D | Region.sig | 16 val compare: t * t -> order value
|
H A D | Region.sml | 48 fun compare (r, r') = function
|
/seL4-l4v-10.1.1/HOL4/examples/elliptic/ |
H A D | Algebra.sig | 18 val compare : expression * expression -> order value
|
/seL4-l4v-10.1.1/HOL4/src/integer/testing/ |
H A D | testdp.sml | 36 fun compare (t0,n) = let function
|
/seL4-l4v-10.1.1/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-10.1.1/HOL4/polyml/basis/ |
H A D | BinPrimIO.sml | 39 val compare = Position.compare value
|
H A D | PRIM_IO.sml | 33 val compare : pos * pos -> General.order value
|
H A D | TextPrimIO.sml | 44 val compare = Position.compare value
|