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