val varify_type_constructors :
string Location.loc list->Ppxlib_ast.Parsetree.core_type ->Ppxlib_ast.Parsetree.core_type
val prefix_symbols : char list
val infix_symbols : char list
val special_infix_strings : string list
val letop : string -> bool
val andop : string -> bool
val fixity_of_string :
string ->[> `Andop of string| `Infix of string| `Letop of string| `Mixfix of string| `Normal| `Prefix of string ]
val view_fixity_of_exp :
Ppxlib_ast.Parsetree.expression ->[> `Andop of string| `Infix of string| `Letop of string| `Mixfix of string| `Normal| `Prefix of string ]
val is_infix : [> `Infix of 'a ]-> bool
val is_mixfix : [> `Mixfix of 'a ]-> bool
val is_kwdop : [> `Andop of 'a| `Letop of 'b ]-> bool
val first_is : char ->string -> bool
val last_is : char ->string -> bool
val first_is_in : char list->string -> bool
val needs_parens : string -> bool
val needs_spaces : string -> bool
val string_loc : Stdlib.Format.formatter ->string Location.loc-> unit
val protect_ident : Stdlib.Format.formatter ->string -> unit
val protect_longident :
Stdlib.Format.formatter ->(Stdlib.Format.formatter ->'a-> unit)->'b->string ->
unit
type space_formatter = (unit, Stdlib.Format.formatter, unit)Stdlib.format
val override : Ppxlib_ast.Asttypes.override_flag -> string
val type_variance : Ppxlib_ast.Asttypes.variance -> string
val type_injectivity : Ppxlib_ast.Asttypes.injectivity -> string
type construct = [
| `cons ofPpxlib_ast.Parsetree.expression list
| `list ofPpxlib_ast.Parsetree.expression list
| `nil
| `normal
| `simple ofLongident.t
| `tuple
]
val view_expr :
Ppxlib_ast.Parsetree.expression ->[> `cons of Ppxlib_ast.Parsetree.expression list| `list of Ppxlib_ast.Parsetree.expression list| `nil| `normal| `simple of Astlib__.Longident.t| `tuple ]
val option :
'a. ?first:space_formatter->?last:space_formatter->(Stdlib.Format.formatter ->'a-> unit)->Stdlib.Format.formatter ->'a option->
unit
val paren :
'a. ?first:space_formatter->?last:space_formatter->bool ->(Stdlib.Format.formatter ->'a-> unit)->Stdlib.Format.formatter ->'a->
unit
val longident : Stdlib.Format.formatter ->Longident.t -> unit
val longident_loc : Stdlib.Format.formatter ->Longident.t Location.loc-> unit
val constant : Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.constant -> unit
val mutable_flag :
Stdlib.Format.formatter ->Ppxlib_ast.Asttypes.mutable_flag ->
unit
val virtual_flag :
Stdlib.Format.formatter ->Ppxlib_ast.Asttypes.virtual_flag ->
unit
val rec_flag : Stdlib.Format.formatter ->Ppxlib_ast.Asttypes.rec_flag -> unit
val nonrec_flag :
Stdlib.Format.formatter ->Ppxlib_ast.Asttypes.rec_flag ->
unit
val direction_flag :
Stdlib.Format.formatter ->Ppxlib_ast.Asttypes.direction_flag ->
unit
val private_flag :
Stdlib.Format.formatter ->Ppxlib_ast.Asttypes.private_flag ->
unit
val iter_loc : ('a->'b->'c)->'d->'eLocation.loc->'f
val constant_string : Stdlib.Format.formatter ->string -> unit
val tyvar : Stdlib.Format.formatter ->string -> unit
val tyvar_loc : Stdlib.Format.formatter ->string Location.loc-> unit
val string_quot : Stdlib.Format.formatter ->string -> unit
val class_params_def :
ctxt->Stdlib.Format.formatter ->(Ppxlib_ast.Parsetree.core_type
* (Ppxlib_ast.Asttypes.variance * Ppxlib_ast.Asttypes.injectivity))
list->
unit
val type_with_label :
ctxt->Stdlib.Format.formatter ->(Ppxlib_ast.Asttypes.arg_label * Ppxlib_ast.Parsetree.core_type)->
unit
val core_type1 :
ctxt->Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.core_type ->
unit
val pattern_or :
ctxt->Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.pattern ->
unit
val pattern1 :
ctxt->Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.pattern ->
unit
val simple_pattern :
ctxt->Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.pattern ->
unit
val label_exp :
ctxt->Stdlib.Format.formatter ->(Ppxlib_ast.Asttypes.arg_label
* Ppxlib_ast.Parsetree.expression option
* Ppxlib_ast.Parsetree.pattern)->
unit
val sugar_expr :
ctxt->Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.expression ->
bool
val expression1 :
ctxt->Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.expression ->
unit
val expression2 :
ctxt->Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.expression ->
unit
val simple_expr :
ctxt->Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.expression ->
unit
val attributes :
ctxt->Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.attributes ->
unit
val item_attributes :
ctxt->Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.attributes ->
unit
val classify_attribute :
Ppxlib_ast.Parsetree.attribute ->[ `docstr of string| `misc of Ppxlib_ast.Parsetree.attribute ]
val attribute :
ctxt->Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.attribute ->
unit
val item_attribute :
ctxt->Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.attribute ->
unit
val floating_attribute :
ctxt->Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.attribute ->
unit
val value_description :
ctxt->Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.value_description ->
unit
val extension :
ctxt->Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.extension ->
unit
val item_extension :
ctxt->Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.extension ->
unit
val exception_declaration :
ctxt->Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.type_exception ->
unit
val class_type_declaration_list :
ctxt->Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.class_type Ppxlib_ast.Parsetree.class_infos list->
unit
val class_structure :
ctxt->Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.class_structure ->
unit
val with_constraint :
ctxt->Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.with_constraint ->
unit
val module_type1 :
ctxt->Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.module_type ->
unit
val payload :
ctxt->Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.payload ->
unit
val binding :
ctxt->Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.value_binding ->
unit
val bindings :
ctxt->Stdlib.Format.formatter ->(Ppxlib_ast.Asttypes.rec_flag * Ppxlib_ast.Parsetree.value_binding list)->
unit
val binding_op :
ctxt->Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.binding_op ->
unit
val type_param :
ctxt->Stdlib.Format.formatter ->(Ppxlib_ast.Parsetree.core_type
* (Ppxlib_ast.Asttypes.variance * Ppxlib_ast.Asttypes.injectivity))->
unit
val type_params :
ctxt->Stdlib.Format.formatter ->(Ppxlib_ast.Parsetree.core_type
* (Ppxlib_ast.Asttypes.variance * Ppxlib_ast.Asttypes.injectivity))
list->
unit
val type_def_list :
ctxt->Stdlib.Format.formatter ->(Ppxlib_ast.Asttypes.rec_flag
* bool
* Ppxlib_ast.Parsetree.type_declaration list)->
unit
val record_declaration :
ctxt->Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.label_declaration list->
unit
val type_extension :
ctxt->Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.type_extension ->
unit
val constructor_declaration :
ctxt->Stdlib.Format.formatter ->(string
* string Astlib__Ast_414.Asttypes.loc list
* Ppxlib_ast.Parsetree.constructor_arguments
* Ppxlib_ast.Parsetree.core_type option
* Ppxlib_ast.Parsetree.attributes)->
unit
val extension_constructor :
ctxt->Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.extension_constructor ->
unit
val case_list :
ctxt->Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.case list->
unit
val label_x_expression_param :
ctxt->Stdlib.Format.formatter ->(Ppxlib_ast.Asttypes.arg_label * Ppxlib_ast.Parsetree.expression)->
unit
val directive_argument :
Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.directive_argument ->
unit
val toplevel_phrase :
Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.toplevel_phrase ->
unit
val expression :
Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.expression ->
unit
val string_of_expression : Ppxlib_ast.Parsetree.expression -> string
val string_of_structure : Ppxlib_ast.Parsetree.structure -> string
val top_phrase :
Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.toplevel_phrase ->
unit
val core_type :
Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.core_type ->
unit
val pattern : Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.pattern -> unit
val signature :
Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.signature ->
unit
val structure :
Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.structure ->
unit
val class_expr :
Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.class_expr ->
unit
val class_field :
Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.class_field ->
unit
val class_type :
Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.class_type ->
unit
val class_signature :
Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.class_signature ->
unit
val class_type_field :
Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.class_type_field ->
unit
val module_expr :
Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.module_expr ->
unit
val module_type :
Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.module_type ->
unit
val signature_item :
Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.signature_item ->
unit
val structure_item :
Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.structure_item ->
unit
val type_declaration :
Stdlib.Format.formatter ->Ppxlib_ast.Parsetree.type_declaration ->
unit