Module Pr_ocaml


module Pr_ocaml: sig .. end

Printing Objective Caml types and expressions.



val pr_constant : Format.formatter -> Asttypes.constant -> unit
val string_of_constant : Asttypes.constant -> string
val pr_structure_sep : Format.formatter -> unit
val is_infix : string -> bool
val is_infix_longident : Longident.t -> bool
val pr_ident_in_infix_position : Format.formatter -> Longident.t -> unit
val pr_ident_name_in_prefix_position : Format.formatter -> string -> unit
val pr_ident_in_prefix_position : Format.formatter -> Longident.t -> unit
val pr_core_type : Format.formatter -> Parsetree.core_type -> unit
val pr_value_description : Format.formatter -> Parsetree.value_description -> unit
val pr_type_definitions : Format.formatter -> (string * Parsetree.type_declaration) list -> unit
val pr_type : Format.formatter -> string * string list -> unit
val pr_relation : Format.formatter -> Parsetree.relation -> unit
val pr_params : Format.formatter -> string list -> unit
val pr_expression : Format.formatter -> Parsetree.expression -> unit
val pr_pattern : Format.formatter -> Parsetree.pattern -> unit
val pr_verbatim_structure_item : Format.formatter -> Parsetree.structure_item -> unit
val pr_verbatim_structure_items : Format.formatter -> Parsetree.structure_item list -> unit
val pr_structure_item_desc : Format.formatter -> Parsetree.structure_item_desc -> unit
val pr_suffix_vals_fmt : (unit, Format.formatter, unit) Pervasives.format ->
(Format.formatter -> 'a -> unit) -> Format.formatter -> 'a list -> unit
val pr_sep_vals_fmt : (unit, Format.formatter, unit) Pervasives.format ->
(Format.formatter -> 'a -> unit) -> Format.formatter -> 'a list -> unit
val pr_sep_vals : string ->
(Format.formatter -> 'a -> unit) -> Format.formatter -> 'a list -> unit