Module Genprintval.User_printer

type ('a, 'b) gen =
  1. | Zero of 'b
  2. | Succ of 'a -> ('a, 'b) gen
val install_simple : Path.t -> Types.type_expr -> (Format.formatter -> Obj.t -> unit) -> unit
val install_generic_outcometree : Path.t -> Path.t -> (int -> (int -> Obj.t -> Outcometree.out_value, Obj.t -> Outcometree.out_value) gen) -> unit
val install_generic_format : Path.t -> Path.t -> (Format.formatter -> Obj.t -> unit, Format.formatter -> Obj.t -> unit) gen -> unit

install_generic_format function_path constructor_path printer function_path is used to remove the printer.

val remove : Path.t -> unit