val string_of_equality : ?env:Utils.environment -> equality -> string
val string_of_proof :
?names:(Cic.name option)list -> proof -> goal_proof -> string
val string_of_equality : ?env:Utils.environment -> equality -> string
val string_of_proof :
?names:(Cic.name option)list -> proof -> goal_proof -> string