Module Printtyp

val longident : Stdlib.Format.formatter -> Longident.t -> unit
val ident : Stdlib.Format.formatter -> Ident.t -> unit
val tree_of_path : Path.t -> Outcometree.out_ident
val path : Stdlib.Format.formatter -> Path.t -> unit
val string_of_path : Path.t -> string
module Out_name : sig ... end
type namespace =
| Type
| Module
| Module_type
| Class
| Class_type
| Other

Other bypasses the unique name for identifier mechanism

val strings_of_paths : namespace -> Path.t list -> string list

Print a list of paths, using the same naming context to avoid name collisions

val raw_type_expr : Stdlib.Format.formatter -> Types.type_expr -> unit
val string_of_label : Asttypes.arg_label -> string
val wrap_printing_env : error:bool -> Env.t -> (unit -> 'a) -> 'a
module Naming_context : sig ... end
module Conflicts : sig ... end

The Conflicts module keeps track of conflicts arising when attributing names to identifiers and provides functions that can print explanations for these conflict in error messages

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 : Stdlib.Format.formatter -> Types.type_expr -> unit
val constructor_arguments : Stdlib.Format.formatter -> Types.constructor_arguments -> unit
val tree_of_type_scheme : Types.type_expr -> Outcometree.out_type
val type_sch : Stdlib.Format.formatter -> Types.type_expr -> unit
val type_scheme : Stdlib.Format.formatter -> Types.type_expr -> unit
val reset_names : unit -> unit
val type_scheme_max : ?⁠b_reset_names:bool -> Stdlib.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 -> Stdlib.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 -> Stdlib.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 -> Stdlib.Format.formatter -> Types.extension_constructor -> unit
val tree_of_module : Ident.t -> ?⁠ellipsis:bool -> Types.module_type -> Types.rec_status -> Outcometree.out_sig_item
val modtype : Stdlib.Format.formatter -> Types.module_type -> unit
val signature : Stdlib.Format.formatter -> Types.signature -> unit
val tree_of_modtype : Types.module_type -> Outcometree.out_module_type
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 -> Stdlib.Format.formatter -> Types.modtype_declaration -> unit
val class_type : Stdlib.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 -> Stdlib.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 -> Stdlib.Format.formatter -> Types.class_type_declaration -> unit
val type_expansion : Types.type_expr -> Stdlib.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 -> Stdlib.Format.formatter -> (Types.type_expr * Types.type_expr) Ctype.Unification_trace.elt list -> unit
val report_unification_error : Stdlib.Format.formatter -> Env.t -> Ctype.Unification_trace.t -> ?⁠type_expected_explanation:(Stdlib.Format.formatter -> unit) -> (Stdlib.Format.formatter -> unit) -> (Stdlib.Format.formatter -> unit) -> unit
val report_subtyping_error : Stdlib.Format.formatter -> Env.t -> Ctype.Unification_trace.t -> string -> Ctype.Unification_trace.t -> unit
val report_ambiguous_type_error : Stdlib.Format.formatter -> Env.t -> (Path.t * Path.t) -> (Path.t * Path.t) list -> (Stdlib.Format.formatter -> unit) -> (Stdlib.Format.formatter -> unit) -> (Stdlib.Format.formatter -> unit) -> unit
val print_items : (Env.t -> Types.signature_item -> 'a option) -> Env.t -> Types.signature_item list -> (Outcometree.out_sig_item * 'a option) list
val rewrite_double_underscore_paths : Env.t -> Path.t -> Path.t
val printed_signature : string -> Stdlib.Format.formatter -> Types.signature -> unit

printed_signature sourcefile ppf sg print the signature sg of sourcefile with potential warnings for name collisions