val cons_lid_of_pattern : Ppxlib.pattern -> Ppxlib.longident option
val name_of_pattern : Ppxlib.pattern -> string option
val name_of_binding : Ppxlib.value_binding -> string option
type inlinable_item_kind =
| MatchCase of Ppxlib.case
| Binding of Ppxlib.value_binding
| StrItem of Ppxlib.structure_item
val pp_inlinable_item_kind :
Ppx_deriving_runtime.Format.formatter ->
inlinable_item_kind ->
Ppx_deriving_runtime.unit
type inlinable_item_kind_head =
| MatchCase
| Binding
| StrItem
val pp_inlinable_item_kind_head :
Ppx_deriving_runtime.Format.formatter ->
inlinable_item_kind_head ->
Ppx_deriving_runtime.unit
val pp_inlinable_item :
Ppx_deriving_runtime.Format.formatter ->
inlinable_item ->
Ppx_deriving_runtime.unit
val show_inlinable_item : inlinable_item -> Ppx_deriving_runtime.string
val collect_ast_nodes :
inlinable_item Base.list Base.ref ->
Base.string Base.list Ppxlib.Ast_traverse.map_with_context
val replace_every_location : Ppxlib.location -> Ppxlib.Ast_traverse.map
val locate_module : Base.string -> Base.string
val inlinable_items_of_module :
loc:Ppxlib.location ->
Base.string ->
inlinable_item Base.list
val inlinable_items_of_modules :
loc:Ppxlib.location ->
Base.string Base.list ->
inlinable_item Base.list
type not_found_available_item = {
path : Base.string Base.list;
head : inlinable_item_kind_head;
preselected : Base.bool;
postselected : Base.bool;
}
val pp_not_found_available_item :
Ppx_deriving_runtime.Format.formatter ->
not_found_available_item ->
Ppx_deriving_runtime.unit
type inline_error =
| NotFound of {
search : Base.string Base.list;
available : not_found_available_item Base.list;
context : Base.string;
}
| NotPlusMinusList
val pp_inline_error :
Ppx_deriving_runtime.Format.formatter ->
inline_error ->
Ppx_deriving_runtime.unit
val show_inline_error : inline_error -> Ppx_deriving_runtime.string
type flag =
| Include
| Exclude
val pp_flag :
Ppx_deriving_runtime.Format.formatter ->
flag ->
Ppx_deriving_runtime.unit
val show_flag : flag -> Ppx_deriving_runtime.string
type qualifier =
| AllBindings
val pp_qualifier :
Ppx_deriving_runtime.Format.formatter ->
qualifier ->
Ppx_deriving_runtime.unit
val show_qualifier : qualifier -> Ppx_deriving_runtime.string
type pm_atom = {
apath : Base.string Base.list;
aqualifier : qualifier Base.option;
}
val pp_pm_atom :
Ppx_deriving_runtime.Format.formatter ->
pm_atom ->
Ppx_deriving_runtime.unit
val show_pm_atom : pm_atom -> Ppx_deriving_runtime.string
val plus_minus_list_of_expr' : Ppxlib.expression -> (flag * pm_atom) Base.list
val plus_minus_list_of_expr :
Ppxlib.expression ->
(flag * pm_atom) Base.list Base.option
val elast : 'a Base.List.t -> ('b Base.List.t * 'c) option
val diff_list :
'a Base.list ->
'a0 Base.list ->
equal:('a1 -> 'a2 -> Base.bool) ->
'a3 Base.list
val attributes_of_structure_item : Ppxlib.structure_item -> Ppxlib.attributes
val string_of_payload :
loc:Ppxlib__.Location.t ->
Ppxlib__.Import.payload ->
(string, Ppxlib__.Location.Error.t Ppxlib__.Import.NonEmptyList.t)
Stdlib.result
val string_attributes_of_structure_item :
loc:Ppxlib__.Location.t ->
Ppxlib.structure_item ->
(Base.string * Base.string) Base.list
val map_inline_nodes : Base.string Base.list -> 'a -> Ppxlib.Ast_traverse.map
val expand :
ctxt:Ppxlib.Expansion_context.Extension.t ->
Ppxlib.structure_item ->
Ppxlib.structure_item
val ext : Ppxlib.Extension.V3.t
val rule : Ppxlib.Context_free.Rule.t