val longident : Format.formatter -> Longident.t -> unitval ident : Format.formatter -> Ident.t -> unitval tree_of_path : Path.t -> Outcometree.out_identval path : Format.formatter -> Path.t -> unitval string_of_path : Path.t -> stringval type_path : Format.formatter -> Path.t -> unitPrint a type path taking account of -short-paths. Calls should be within wrap_printing_env.
module Out_name : sig ... endPrint a list of paths, using the same naming context to avoid name collisions
val raw_type_expr : Format.formatter -> Types.type_expr -> unitval string_of_label : Asttypes.arg_label -> stringval wrap_printing_env : error:bool -> Env.t -> (unit -> 'a) -> 'amodule Naming_context : sig ... endmodule Conflicts : sig ... endThe 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 type_expr : Format.formatter -> Types.type_expr -> unitPrint out a type. This will pick names for type variables, and will not reuse names for common type variables shared across multiple type expressions. (It will also reset the printing state, which matters for other type formatters such as prepared_type_expr.) If you want multiple types to use common names for type variables, see prepare_for_printing and prepared_type_expr.
val prepare_for_printing : Types.type_expr list -> unitprepare_for_printing resets the global printing environment, a la reset, and prepares the types for printing by reserving names and marking loops. Any type variables that are shared between multiple types in the input list will be given the same name when printed with prepared_type_expr.
val prepared_type_expr : Format.formatter -> Types.type_expr -> unitThe function prepared_type_expr is a less-safe but more-flexible version of type_expr that should only be called on type_exprs that have been passed to prepare_for_printing. Unlike type_expr, this function does no extra work before printing a type; in particular, this means that any loops in the type expression may cause a stack overflow (see #8860) since this function does not mark any loops. The benefit of this is that if multiple type expressions are prepared simultaneously and then printed with prepared_type_expr, they will use the same names for the same type variables.
val constructor_arguments :
Format.formatter ->
Types.constructor_arguments ->
unitval tree_of_type_scheme : Types.type_expr -> Outcometree.out_typeval type_scheme : Format.formatter -> Types.type_expr -> unitshared_type_scheme is very similar to type_scheme, but does not reset the printing context first. This is intended to be used in cases where the printing should have a particularly wide context, such as documentation generators; most use cases, such as error messages, have narrower contexts for which type_scheme is better suited.
val tree_of_value_description :
Ident.t ->
Types.value_description ->
Outcometree.out_sig_itemval value_description :
Ident.t ->
Format.formatter ->
Types.value_description ->
unitval label : Format.formatter -> Types.label_declaration -> unitval constructor : Format.formatter -> Types.constructor_declaration -> unitval tree_of_type_declaration :
Ident.t ->
Types.type_declaration ->
Types.rec_status ->
Outcometree.out_sig_itemval type_declaration :
Ident.t ->
Format.formatter ->
Types.type_declaration ->
unitval tree_of_extension_constructor :
Ident.t ->
Types.extension_constructor ->
Types.ext_status ->
Outcometree.out_sig_itemval extension_constructor :
Ident.t ->
Format.formatter ->
Types.extension_constructor ->
unitval extension_only_constructor :
Ident.t ->
Format.formatter ->
Types.extension_constructor ->
unitval tree_of_module :
Ident.t ->
?ellipsis:bool ->
Types.module_type ->
Types.rec_status ->
Outcometree.out_sig_itemval modtype : Format.formatter -> Types.module_type -> unitval signature : Format.formatter -> Types.signature -> unitval tree_of_modtype : Types.module_type -> Outcometree.out_module_typeval tree_of_modtype_declaration :
Ident.t ->
Types.modtype_declaration ->
Outcometree.out_sig_itemval functor_parameters :
sep:(Format.formatter -> unit -> unit) ->
('b -> Format.formatter -> unit) ->
(Ident.t option * 'b) list ->
Format.formatter ->
unitPrint a list of functor parameters while adjusting the printing environment for each functor argument.
Currently, we are disabling disambiguation for functor argument name to avoid the need to track the moving association between identifiers and syntactic names in situation like:
got: (X: sig module type T end) (Y:X.T) (X:sig module type T end) (Z:X.T) expect: (_: sig end) (Y:X.T) (_:sig end) (Z:X.T)
val tree_of_signature : Types.signature -> Outcometree.out_sig_item listval tree_of_typexp : type_or_scheme -> Types.type_expr -> Outcometree.out_typeval modtype_declaration :
Ident.t ->
Format.formatter ->
Types.modtype_declaration ->
unitval class_type : Format.formatter -> Types.class_type -> unitval tree_of_class_declaration :
Ident.t ->
Types.class_declaration ->
Types.rec_status ->
Outcometree.out_sig_itemval class_declaration :
Ident.t ->
Format.formatter ->
Types.class_declaration ->
unitval tree_of_cltype_declaration :
Ident.t ->
Types.class_type_declaration ->
Types.rec_status ->
Outcometree.out_sig_itemval cltype_declaration :
Ident.t ->
Format.formatter ->
Types.class_type_declaration ->
unitval type_expansion :
type_or_scheme ->
Format.formatter ->
Errortrace.expanded_type ->
unitval prepare_expansion : Errortrace.expanded_type -> Errortrace.expanded_typeval 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) ->
unitval report_unification_error :
Format.formatter ->
Env.t ->
Errortrace.unification_error ->
?type_expected_explanation:(Format.formatter -> unit) ->
(Format.formatter -> unit) ->
(Format.formatter -> unit) ->
unitval report_equality_error :
Format.formatter ->
type_or_scheme ->
Env.t ->
Errortrace.equality_error ->
(Format.formatter -> unit) ->
(Format.formatter -> unit) ->
unitval report_moregen_error :
Format.formatter ->
type_or_scheme ->
Env.t ->
Errortrace.moregen_error ->
(Format.formatter -> unit) ->
(Format.formatter -> unit) ->
unitval report_comparison_error :
Format.formatter ->
type_or_scheme ->
Env.t ->
Errortrace.comparison_error ->
(Format.formatter -> unit) ->
(Format.formatter -> unit) ->
unitmodule Subtype : sig ... endval print_items :
(Env.t -> Types.signature_item -> 'a option) ->
Env.t ->
Types.signature_item list ->
(Outcometree.out_sig_item * 'a option) listval printed_signature : string -> Format.formatter -> Types.signature -> unitprinted_signature sourcefile ppf sg print the signature sg of sourcefile with potential warnings for name collisions