Up

module Printtyp

: sig
#
val longident : Format.formatter -> Longident.t -> unit
#
val ident : Format.formatter -> Ident.t -> unit
#
val tree_of_path : Path.t -> Outcometree.out_ident
#
val path : Format.formatter -> Path.t -> unit
#
val string_of_path : Path.t -> string
#
val raw_type_expr : Format.formatter -> Types.type_expr -> unit
#
val wrap_printing_env : Env.t -> (unit -> 'a) -> 'a
#
val reset : unit -> unit
#
val mark_loops : Types.type_expr -> unit
#
val reset_and_mark_loops : Types.type_expr -> unit
#
val reset_and_mark_loops_list : Types.type_expr list -> unit
#
val type_expr : Format.formatter -> Types.type_expr -> unit
#
val tree_of_type_scheme : Types.type_expr -> Outcometree.out_type
#
val type_sch : Format.formatter -> Types.type_expr -> unit
#
val type_scheme : Format.formatter -> Types.type_expr -> unit
#
val reset_names : unit -> unit
#
val type_scheme_max : ?b_reset_names:bool -> Format.formatter -> Types.type_expr -> unit
#
val tree_of_value_description : Ident.t -> Types.value_description -> Outcometree.out_sig_item
#
val value_description : Ident.t -> Format.formatter -> Types.value_description -> unit
#
val tree_of_type_declaration : Ident.t -> Types.type_declaration -> Types.rec_status -> Outcometree.out_sig_item
#
val type_declaration : Ident.t -> Format.formatter -> Types.type_declaration -> unit
#
val tree_of_extension_constructor : Ident.t -> Types.extension_constructor -> Types.ext_status -> Outcometree.out_sig_item
#
val extension_constructor : Ident.t -> Format.formatter -> Types.extension_constructor -> unit
#
val modtype : Format.formatter -> Types.module_type -> unit
#
val signature : Format.formatter -> Types.signature -> unit
#
val tree_of_modtype_declaration : Ident.t -> Types.modtype_declaration -> Outcometree.out_sig_item
#
val tree_of_signature : Types.signature -> Outcometree.out_sig_item list
#
val tree_of_typexp : bool -> Types.type_expr -> Outcometree.out_type
#
val modtype_declaration : Ident.t -> Format.formatter -> Types.modtype_declaration -> unit
#
val class_type : Format.formatter -> Types.class_type -> unit
#
val tree_of_class_declaration : Ident.t -> Types.class_declaration -> Types.rec_status -> Outcometree.out_sig_item
#
val class_declaration : Ident.t -> Format.formatter -> Types.class_declaration -> unit
#
val tree_of_cltype_declaration : Ident.t -> Types.class_type_declaration -> Types.rec_status -> Outcometree.out_sig_item
#
val cltype_declaration : Ident.t -> Format.formatter -> Types.class_type_declaration -> unit
#
val type_expansion : Types.type_expr -> Format.formatter -> Types.type_expr -> unit
#
val prepare_expansion : Types.type_expr * Types.type_expr -> Types.type_expr * Types.type_expr
#
val trace : bool -> bool -> string -> Format.formatter -> (Types.type_expr * Types.type_expr) list -> unit
#
val report_unification_error : Format.formatter -> Env.t -> ?unif:bool -> (Types.type_expr * Types.type_expr) list -> (Format.formatter -> unit) -> (Format.formatter -> unit) -> unit
#
val report_subtyping_error : Format.formatter -> Env.t -> (Types.type_expr * Types.type_expr) list -> string -> (Types.type_expr * Types.type_expr) list -> unit
#
val report_ambiguous_type_error : Format.formatter -> Env.t -> Path.t * Path.t -> (Path.t * Path.t) list -> (Format.formatter -> unit) -> (Format.formatter -> unit) -> (Format.formatter -> unit) -> unit
#
val hide_rec_items : Types.signature_item list -> unit
end