Remove dead code

ml-proto/given/lib.ml

@@ -50,13 +50,6 @@ struct
   let app f = function
     | Some x -> f x
     | None -> ()
-
-  let compare cmp_a o1 o2 =
-    match o1, o2 with
-    | None, None -> 0
-    | None, Some _ -> -1
-    | Some _, None -> 1
-    | Some x1, Some x2 -> cmp_a x1 x2
 end
 
 module Int =

ml-proto/given/lib.mli

@@ -20,7 +20,6 @@ sig
   val get : 'a option -> 'a -> 'a
   val map : ('a -> 'b) -> 'a option -> 'b option
   val app : ('a -> unit) -> 'a option -> unit
-  val compare : ('a -> 'a -> int) -> 'a option -> 'a option -> int
 end
 
 module Int :

ml-proto/host/parser.mly

@@ -49,11 +49,6 @@ let literal s t =
     | Failure msg -> error s.at ("constant out of range: " ^ msg)
     | _ -> error s.at "constant out of range"
 
-let int32 s =
-  try I32.of_string s.it with
-    | Failure msg -> error s.at ("constant out of range: " ^ msg)
-    | _ -> error s.at "constant out of range"
-
 
 (* Memory operands *)
 

ml-proto/spec/check.ml

@@ -39,12 +39,6 @@ let import c x = lookup "import" c.imports x
 let local c x = lookup "local" c.locals x
 let label c x = lookup "label" c.labels x
 
-module CaseSet = Set.Make(
-  struct
-    type t = I32.t option
-    let compare = Lib.Option.compare I32.compare_u
-  end)
-
 
 (* Type comparison *)
 

ml-proto/spec/int.ml

@@ -64,9 +64,6 @@ sig
   val ge_s : t -> t -> bool
   val ge_u : t -> t -> bool
 
-  val compare_s : t -> t -> int
-  val compare_u : t -> t -> int
-
   val of_int : int -> t
   val of_string : string -> t
   val to_string : t -> string
@@ -197,7 +194,4 @@ struct
   let to_string = Rep.to_string
 
   let of_int = Rep.of_int
-
-  let compare_s = compare
-  let compare_u x y = compare (Rep.add x Rep.min_int) (Rep.add y Rep.min_int)
 end