Class `Sexp_grammar_lifter.lift`

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