From 768e0b324d58b03999f87276729e007f6d66d58b Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Tue, 9 Feb 2021 04:23:11 -0800 Subject: [PATCH] [sledge] Remove unneeded Trm.T Reviewed By: jvillard Differential Revision: D26250526 fbshipit-source-id: 4e58f07eb --- sledge/src/fol/trm.ml | 16 ++++++---------- 1 file changed, 6 insertions(+), 10 deletions(-) diff --git a/sledge/src/fol/trm.ml b/sledge/src/fol/trm.ml index 69cbf7d91..96003407a 100644 --- a/sledge/src/fol/trm.ml +++ b/sledge/src/fol/trm.ml @@ -364,16 +364,12 @@ end = struct let vars e = Iter.from_labelled_iter (iter_vars e) end -module T = struct - type t = Trm.t [@@deriving compare, sexp] - - let pp = Trm.pp -end +include Trm module Set = struct - include Set.Make (T) - include Provide_of_sexp (T) - include Provide_pp (T) + include Set.Make (Trm) + include Provide_of_sexp (Trm) + include Provide_pp (Trm) let of_vars : Var.Set.t -> t = fun vs -> @@ -382,8 +378,8 @@ module Set = struct end module Map = struct - include Map.Make (T) - include Provide_of_sexp (T) + include Map.Make (Trm) + include Provide_of_sexp (Trm) end type arith = Arith.t