Out_type.Internal_names
val add : Path.t -> unit
val reset : unit -> unit
val print_explanations : Env.t -> Format_doc.formatter -> unit