• en

Module Printtyp

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 tree_of_module : Ident.t -> Types.module_type -> Types.rec_status -> Outcometree.out_sig_item
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