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: B.t Terms.unit_clause -> string
+ val pp_unit_clause: ?margin:int -> B.t Terms.unit_clause -> string
val pp_bag: B.t Terms.bag -> string
end