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_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