OCaml Library Collection
/
type kind =
  1. | Old of Types.type_expr
  2. | Simple of Types.type_expr
  3. | Generic of {
    1. ty_path : Path.t;
    2. arity : int;
    }
type error = [
  1. | `Unbound_identifier of Longident.t
  2. | `Wrong_type of Longident.t
  3. | `No_active_printer of Path.t
]
val find_printer : Env.t -> Longident.t -> (Path.t * kind, error) result
val report_error : Format.formatter -> error -> unit