Pretty.Make
module T : Logic.Term
type env
environment for pretty printing
val empty : env
val marks : env -> T.marks
val known : env -> T.Vars.t -> env
val fresh : env -> T.term -> string * env
val bind : string -> T.term -> env -> env
val pp_tau : Stdlib.Format.formatter -> T.tau -> unit
val pp_term : env -> Stdlib.Format.formatter -> T.term -> unit
print with the given environment without modifying it
val pp_def : env -> Stdlib.Format.formatter -> T.term -> unit
val pp_term_env : env -> Stdlib.Format.formatter -> T.term -> unit
print with the given environment and update it
val pp_def_env : env -> Stdlib.Format.formatter -> T.term -> unit