From 2d67fd0fa4a992302a096d70ffe9b70b5da0028e Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Tue, 12 Jan 2021 04:28:12 -0800 Subject: [PATCH] [sledge] Add Trm.Set.pp Reviewed By: jvillard Differential Revision: D25756563 fbshipit-source-id: acf4f46fc --- sledge/src/fol/trm.ml | 3 +++ sledge/src/fol/trm.mli | 1 + 2 files changed, 4 insertions(+) diff --git a/sledge/src/fol/trm.ml b/sledge/src/fol/trm.ml index 91bcdfd79..c79a0b39f 100644 --- a/sledge/src/fol/trm.ml +++ b/sledge/src/fol/trm.ml @@ -385,11 +385,14 @@ end module T = struct type t = Trm.t [@@deriving compare, sexp] + + let pp = Trm.pp end module Set = struct include Set.Make (T) include Provide_of_sexp (T) + include Provide_pp (T) end module Map = struct diff --git a/sledge/src/fol/trm.mli b/sledge/src/fol/trm.mli index 571908ff1..a273a11f6 100644 --- a/sledge/src/fol/trm.mli +++ b/sledge/src/fol/trm.mli @@ -41,6 +41,7 @@ module Set : sig include Set.S with type elt := t val t_of_sexp : Sexp.t -> t + val pp : t pp end module Map : sig