Class `Sexp_grammar_lifter.map`

method virtual atom : atom -> atom
method virtual bool : Base.bool -> Base.bool
method virtual int : Base.int -> Base.int
method virtual label : Ppxlib.label -> Ppxlib.label
method virtual list : a. ('a -> 'a) -> 'a Base.list -> 'a Base.list
method virtual type_name : type_name -> type_name
method virtual unit : Base.unit -> Base.unit
method virtual var_name : var_name -> var_name
method type_ : < atom : atom -> atom; bool : Base.bool -> Base.bool; component : a. ('a -> 'a) -> 'a component -> 'a component; field : a. ('a -> 'a) -> 'a field -> 'a field; int : Base.int -> Base.int; label : Ppxlib.label -> Ppxlib.label; list : a. ('a -> 'a) -> 'a Base.list -> 'a Base.list; record_type : a. ('a -> 'a) -> 'a record_type -> 'a record_type; sequence_type : a. ('a -> 'a) -> 'a sequence_type -> 'a sequence_type; t : t -> t; type_ : a. ('a -> 'a) -> 'a type_ -> 'a type_; type_name : type_name -> type_name; unit : Base.unit -> Base.unit; var_name : var_name -> var_name; variant_type : a. ('a -> 'a) -> 'a variant_type -> 'a variant_type; .. > -> a. ('a -> 'a) -> 'a type_ -> 'a type_
method sequence_type : < atom : atom -> atom; bool : Base.bool -> Base.bool; component : a. ('a -> 'a) -> 'a component -> 'a component; field : a. ('a -> 'a) -> 'a field -> 'a field; int : Base.int -> Base.int; label : Ppxlib.label -> Ppxlib.label; list : a. ('a -> 'a) -> 'a Base.list -> 'a Base.list; record_type : a. ('a -> 'a) -> 'a record_type -> 'a record_type; sequence_type : a. ('a -> 'a) -> 'a sequence_type -> 'a sequence_type; t : t -> t; type_ : a. ('a -> 'a) -> 'a type_ -> 'a type_; type_name : type_name -> type_name; unit : Base.unit -> Base.unit; var_name : var_name -> var_name; variant_type : a. ('a -> 'a) -> 'a variant_type -> 'a variant_type; .. > -> a. ('a -> 'a) -> 'a sequence_type -> 'a sequence_type
method component : < atom : atom -> atom; bool : Base.bool -> Base.bool; component : a. ('a -> 'a) -> 'a component -> 'a component; field : a. ('a -> 'a) -> 'a field -> 'a field; int : Base.int -> Base.int; label : Ppxlib.label -> Ppxlib.label; list : a. ('a -> 'a) -> 'a Base.list -> 'a Base.list; record_type : a. ('a -> 'a) -> 'a record_type -> 'a record_type; sequence_type : a. ('a -> 'a) -> 'a sequence_type -> 'a sequence_type; t : t -> t; type_ : a. ('a -> 'a) -> 'a type_ -> 'a type_; type_name : type_name -> type_name; unit : Base.unit -> Base.unit; var_name : var_name -> var_name; variant_type : a. ('a -> 'a) -> 'a variant_type -> 'a variant_type; .. > -> a. ('a -> 'a) -> 'a component -> 'a component
method variant_type : < atom : atom -> atom; bool : Base.bool -> Base.bool; component : a. ('a -> 'a) -> 'a component -> 'a component; field : a. ('a -> 'a) -> 'a field -> 'a field; int : Base.int -> Base.int; label : Ppxlib.label -> Ppxlib.label; list : a. ('a -> 'a) -> 'a Base.list -> 'a Base.list; record_type : a. ('a -> 'a) -> 'a record_type -> 'a record_type; sequence_type : a. ('a -> 'a) -> 'a sequence_type -> 'a sequence_type; t : t -> t; type_ : a. ('a -> 'a) -> 'a type_ -> 'a type_; type_name : type_name -> type_name; unit : Base.unit -> Base.unit; var_name : var_name -> var_name; variant_type : a. ('a -> 'a) -> 'a variant_type -> 'a variant_type; .. > -> a. ('a -> 'a) -> 'a variant_type -> 'a variant_type
method record_type : < atom : atom -> atom; bool : Base.bool -> Base.bool; component : a. ('a -> 'a) -> 'a component -> 'a component; field : a. ('a -> 'a) -> 'a field -> 'a field; int : Base.int -> Base.int; label : Ppxlib.label -> Ppxlib.label; list : a. ('a -> 'a) -> 'a Base.list -> 'a Base.list; record_type : a. ('a -> 'a) -> 'a record_type -> 'a record_type; sequence_type : a. ('a -> 'a) -> 'a sequence_type -> 'a sequence_type; t : t -> t; type_ : a. ('a -> 'a) -> 'a type_ -> 'a type_; type_name : type_name -> type_name; unit : Base.unit -> Base.unit; var_name : var_name -> var_name; variant_type : a. ('a -> 'a) -> 'a variant_type -> 'a variant_type; .. > -> a. ('a -> 'a) -> 'a record_type -> 'a record_type
method field : < atom : atom -> atom; bool : Base.bool -> Base.bool; component : a. ('a -> 'a) -> 'a component -> 'a component; field : a. ('a -> 'a) -> 'a field -> 'a field; int : Base.int -> Base.int; label : Ppxlib.label -> Ppxlib.label; list : a. ('a -> 'a) -> 'a Base.list -> 'a Base.list; record_type : a. ('a -> 'a) -> 'a record_type -> 'a record_type; sequence_type : a. ('a -> 'a) -> 'a sequence_type -> 'a sequence_type; t : t -> t; type_ : a. ('a -> 'a) -> 'a type_ -> 'a type_; type_name : type_name -> type_name; unit : Base.unit -> Base.unit; var_name : var_name -> var_name; variant_type : a. ('a -> 'a) -> 'a variant_type -> 'a variant_type; .. > -> a. ('a -> 'a) -> 'a field -> 'a field
method t : < atom : atom -> atom; bool : Base.bool -> Base.bool; component : a. ('a -> 'a) -> 'a component -> 'a component; field : a. ('a -> 'a) -> 'a field -> 'a field; int : Base.int -> Base.int; label : Ppxlib.label -> Ppxlib.label; list : a. ('a -> 'a) -> 'a Base.list -> 'a Base.list; record_type : a. ('a -> 'a) -> 'a record_type -> 'a record_type; sequence_type : a. ('a -> 'a) -> 'a sequence_type -> 'a sequence_type; t : t -> t; type_ : a. ('a -> 'a) -> 'a type_ -> 'a type_; type_name : type_name -> type_name; unit : Base.unit -> Base.unit; var_name : var_name -> var_name; variant_type : a. ('a -> 'a) -> 'a variant_type -> 'a variant_type; .. > -> t -> t