[sledge] Remove unneeded Trm.T

Reviewed By: jvillard

Differential Revision: D26250526

fbshipit-source-id: 4e58f07eb
master
Josh Berdine 5 years ago committed by Facebook GitHub Bot
parent b45b190d05
commit 768e0b324d

@ -364,16 +364,12 @@ end = struct
let vars e = Iter.from_labelled_iter (iter_vars e) let vars e = Iter.from_labelled_iter (iter_vars e)
end end
module T = struct include Trm
type t = Trm.t [@@deriving compare, sexp]
let pp = Trm.pp
end
module Set = struct module Set = struct
include Set.Make (T) include Set.Make (Trm)
include Provide_of_sexp (T) include Provide_of_sexp (Trm)
include Provide_pp (T) include Provide_pp (Trm)
let of_vars : Var.Set.t -> t = let of_vars : Var.Set.t -> t =
fun vs -> fun vs ->
@ -382,8 +378,8 @@ module Set = struct
end end
module Map = struct module Map = struct
include Map.Make (T) include Map.Make (Trm)
include Provide_of_sexp (T) include Provide_of_sexp (Trm)
end end
type arith = Arith.t type arith = Arith.t

Loading…
Cancel
Save