+ val pp_foterm: B.t Terms.foterm -> string
+ val pp_proof: B.t Terms.bag -> B.t Terms.proof -> string
+ val pp_substitution: B.t Terms.substitution -> string
+ val pp_unit_clause: ?margin:int -> B.t Terms.unit_clause -> string
+ val pp_bag: B.t Terms.bag -> string