Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module Extension_kind : sig ... end
module type Ext = sig ... end
val wrap_expansion_identity :
loc:Ppxlib.location ->
modul:Ppxlib.longident Ppxlib.loc option ->
Ppxlib.value_binding list ->
Ppxlib.expression ->
expand:
(loc:Ppxlib.location ->
Ppxlib.value_binding list ->
Ppxlib.expression ->
Ppxlib.expression) ->
Ppxlib.expression
type t = (module Ext)
val ext_full_name :
t ->
locality:[ `local | `global ] ->
Extension_kind.t ->
Ppxlib.label
val bind : t
val map : t
val variables_of : Ppxlib.label Ppxlib.loc list Ppxlib.Ast_traverse.fold
module Map : sig ... end
val eoperator :
loc:Ppxlib.location ->
modul:Ppxlib.longident Ppxlib.loc option ->
Ppxlib.label ->
Ppxlib.expression
val expand_match :
t ->
extension_kind:Extension_kind.t ->
loc:Ppxlib.location ->
modul:Ppxlib.longident Ppxlib.loc option ->
locality:[ `local | `global ] ->
Ppxlib.expression ->
Ppxlib.case list ->
Ppxlib.expression
val maybe_destruct :
destruct:
(assume_exhaustive:bool ->
loc:Ppxlib.location ->
modul:'a ->
lhs:Ppxlib.pattern ->
rhs:Ppxlib.expression ->
body:Ppxlib.expression ->
Ppxlib.expression option) ->
loc:Ppxlib.location ->
modul:'a ->
locality:[ `local | `global ] ->
lhs:Ppxlib.pattern ->
body:Ppxlib.expression ->
Ppxlib.expression
val bind_apply :
?fn_label:string ->
prevent_tail_call:bool ->
op_name:Ppxlib.label ->
loc:Ppxlib.location ->
modul:Ppxlib.longident Ppxlib.loc option ->
with_location:bool ->
arg:Ppxlib.expression ->
fn:Ppxlib.expression ->
unit ->
Ppxlib.expression
val qualified_return :
loc:Ppxlib.location ->
modul:Ppxlib.longident Ppxlib.loc option ->
Ppxlib.expression ->
Ppxlib.expression
val expand :
t ->
Extension_kind.t ->
modul:Ppxlib.longident Ppxlib.loc option ->
locality:[ `local | `global ] ->
Ppxlib.expression ->
Ppxlib.expression
val do_not_enter_value : Ppxlib.value_binding -> Ppxlib.value_binding
val nontail : loc:Ppxlib.location -> Ppxlib.expression -> Ppxlib.expression