/seL4-l4v-master/HOL4/tools/Holmake/ |
H A D | regexpMatch.sml | 41 fun compare [] [] = EQUAL function
|
H A D | Holmake_tools.sig | 120 val compare : t * t -> order value 150 val compare : t * t -> order value
|
H A D | Holmake_tools.sml | 493 fun compare ({absdir = d1, ...} : t, {absdir = d2, ...} : t) = function 629 val compare = inv_img_cmp (fn (d,f,_) => (d,f)) value [all...] |
/seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
H A D | Formula.sml | 323 fun compare fm1_fm2 = cmp [fm1_fm2]; function 597 struct type t = Formula.formula val compare = Formula.compare end value
|
H A D | KeyMap.sml | 1307 fun compare compareValue (m1,m2) = function
|
H A D | Map.sml | 1299 fun compare compareValue (m1,m2) = function
|
H A D | Term.sml | 140 fun compare (tm1,tm2) = cmp [tm1] [tm2]; function 734 struct type t = Term.term val compare = Term.compare end value
|
H A D | Normalize.sml | 160 fun compare f1_f2 = function [all...] |
/seL4-l4v-master/HOL4/polyml/basis/ |
H A D | Real.sml | 542 fun compare (r1, r2) = function
|
H A D | Real32.sml | 132 fun compare (r1, r2) = function
|
H A D | String.sml | 467 fun compare (s1, s2) = function 971 fun compare (ch, ch') = function 1288 val compare : (substring * substring) -> General.order value 1391 fun compare (Slice{vector=s, start=j, length=l}, Slice{vector=s', start=j', length=l'}) = function [all...] |
H A D | OS.sml | 55 val compare : (file_id * file_id) -> General.order value 112 val compare : (iodesc * iodesc) -> General.order value 866 fun compare(INODE i, INODE j) = LargeInt.compare(i, j) function 936 fun compare(i, j) = Int.compare(getInde function [all...] |
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
H A D | Formula.sml | 323 fun compare fm1_fm2 = cmp [fm1_fm2]; function 597 struct type t = Formula.formula val compare = Formula.compare end value
|
H A D | KeyMap.sml | 1307 fun compare compareValue (m1,m2) = function
|
H A D | Map.sml | 1299 fun compare compareValue (m1,m2) = function
|
H A D | Term.sml | 140 fun compare (tm1,tm2) = cmp [tm1] [tm2]; function 734 struct type t = Term.term val compare = Term.compare end value
|
H A D | Normalize.sml | 160 fun compare f1_f2 = function [all...] |
/seL4-l4v-master/HOL4/examples/l3-machine-code/common/ |
H A D | core_decompilerLib.sml | 391 fun compare (xs, _) (ys, _) = function
|
/seL4-l4v-master/HOL4/src/experimental-kernel/ |
H A D | Term.sml | 321 fun compare p = let function [all...] |
/seL4-l4v-master/HOL4/src/0/ |
H A D | Term.sml | 204 fun compare (p as (t1,t2)) = function [all...] |
/seL4-l4v-master/HOL4/examples/machine-code/decompiler/ |
H A D | decompilerLib.sml | 563 fun compare (xs,_) (ys,_) = let function 1501 fun compare tm1 tm2 = let function
|