Class Ppx_metaquot_lifters.pattern_lifters
inherit Ppxlib_traverse_builtins.liftmethod record : < array : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a Base.array, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; bool : (bool, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; char : (char, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; constr : string ‑> Ppxlib.pattern list ‑> Ppxlib.pattern; float : (float, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int : (int, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int32 : (int32, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int64 : (int64, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; list : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a list, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; nativeint : (nativeint, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; option : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a option, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; other : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; record : (string * Ppxlib.pattern) list ‑> Ppxlib.pattern; string : (string, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; tuple : Ppxlib.pattern list ‑> Ppxlib.pattern; unit : (unit, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; .. > ‑> (string * Ppxlib.pattern) Base.List.t ‑> Ppxlib.pattern
method constr : < array : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a Base.array, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; bool : (bool, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; char : (char, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; constr : string ‑> Ppxlib.pattern list ‑> Ppxlib.pattern; float : (float, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int : (int, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int32 : (int32, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int64 : (int64, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; list : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a list, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; nativeint : (nativeint, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; option : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a option, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; other : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; record : (string * Ppxlib.pattern) list ‑> Ppxlib.pattern; string : (string, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; tuple : Ppxlib.pattern list ‑> Ppxlib.pattern; unit : (unit, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; .. > ‑> string ‑> Ppxlib__.Import.pattern list ‑> Ppxlib.pattern
method tuple : < array : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a Base.array, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; bool : (bool, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; char : (char, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; constr : string ‑> Ppxlib.pattern list ‑> Ppxlib.pattern; float : (float, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int : (int, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int32 : (int32, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int64 : (int64, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; list : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a list, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; nativeint : (nativeint, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; option : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a option, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; other : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; record : (string * Ppxlib.pattern) list ‑> Ppxlib.pattern; string : (string, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; tuple : Ppxlib.pattern list ‑> Ppxlib.pattern; unit : (unit, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; .. > ‑> Ppxlib__.Import.pattern list ‑> Ppxlib.pattern
method int : < array : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a Base.array, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; bool : (bool, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; char : (char, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; constr : string ‑> Ppxlib.pattern list ‑> Ppxlib.pattern; float : (float, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int : (int, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int32 : (int32, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int64 : (int64, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; list : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a list, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; nativeint : (nativeint, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; option : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a option, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; other : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; record : (string * Ppxlib.pattern) list ‑> Ppxlib.pattern; string : (string, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; tuple : Ppxlib.pattern list ‑> Ppxlib.pattern; unit : (unit, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; .. > ‑> (Ppxlib__.Import.int, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift
method int32 : < array : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a Base.array, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; bool : (bool, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; char : (char, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; constr : string ‑> Ppxlib.pattern list ‑> Ppxlib.pattern; float : (float, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int : (int, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int32 : (int32, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int64 : (int64, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; list : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a list, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; nativeint : (nativeint, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; option : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a option, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; other : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; record : (string * Ppxlib.pattern) list ‑> Ppxlib.pattern; string : (string, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; tuple : Ppxlib.pattern list ‑> Ppxlib.pattern; unit : (unit, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; .. > ‑> (Ppxlib__.Import.int32, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift
method int64 : < array : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a Base.array, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; bool : (bool, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; char : (char, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; constr : string ‑> Ppxlib.pattern list ‑> Ppxlib.pattern; float : (float, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int : (int, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int32 : (int32, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int64 : (int64, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; list : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a list, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; nativeint : (nativeint, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; option : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a option, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; other : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; record : (string * Ppxlib.pattern) list ‑> Ppxlib.pattern; string : (string, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; tuple : Ppxlib.pattern list ‑> Ppxlib.pattern; unit : (unit, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; .. > ‑> (Ppxlib__.Import.int64, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift
method nativeint : < array : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a Base.array, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; bool : (bool, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; char : (char, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; constr : string ‑> Ppxlib.pattern list ‑> Ppxlib.pattern; float : (float, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int : (int, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int32 : (int32, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int64 : (int64, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; list : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a list, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; nativeint : (nativeint, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; option : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a option, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; other : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; record : (string * Ppxlib.pattern) list ‑> Ppxlib.pattern; string : (string, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; tuple : Ppxlib.pattern list ‑> Ppxlib.pattern; unit : (unit, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; .. > ‑> (Ppxlib__.Import.nativeint, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift
method float : < array : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a Base.array, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; bool : (bool, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; char : (char, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; constr : string ‑> Ppxlib.pattern list ‑> Ppxlib.pattern; float : (float, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int : (int, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int32 : (int32, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int64 : (int64, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; list : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a list, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; nativeint : (nativeint, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; option : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a option, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; other : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; record : (string * Ppxlib.pattern) list ‑> Ppxlib.pattern; string : (string, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; tuple : Ppxlib.pattern list ‑> Ppxlib.pattern; unit : (unit, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; .. > ‑> (Base.Float.t, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift
method string : < array : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a Base.array, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; bool : (bool, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; char : (char, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; constr : string ‑> Ppxlib.pattern list ‑> Ppxlib.pattern; float : (float, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int : (int, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int32 : (int32, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int64 : (int64, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; list : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a list, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; nativeint : (nativeint, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; option : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a option, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; other : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; record : (string * Ppxlib.pattern) list ‑> Ppxlib.pattern; string : (string, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; tuple : Ppxlib.pattern list ‑> Ppxlib.pattern; unit : (unit, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; .. > ‑> (Ppxlib__.Import.string, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift
method char : < array : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a Base.array, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; bool : (bool, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; char : (char, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; constr : string ‑> Ppxlib.pattern list ‑> Ppxlib.pattern; float : (float, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int : (int, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int32 : (int32, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int64 : (int64, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; list : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a list, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; nativeint : (nativeint, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; option : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a option, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; other : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; record : (string * Ppxlib.pattern) list ‑> Ppxlib.pattern; string : (string, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; tuple : Ppxlib.pattern list ‑> Ppxlib.pattern; unit : (unit, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; .. > ‑> (Ppxlib__.Import.char, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift
method bool : < array : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a Base.array, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; bool : (bool, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; char : (char, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; constr : string ‑> Ppxlib.pattern list ‑> Ppxlib.pattern; float : (float, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int : (int, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int32 : (int32, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int64 : (int64, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; list : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a list, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; nativeint : (nativeint, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; option : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a option, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; other : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; record : (string * Ppxlib.pattern) list ‑> Ppxlib.pattern; string : (string, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; tuple : Ppxlib.pattern list ‑> Ppxlib.pattern; unit : (unit, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; .. > ‑> (Ppxlib__.Import.bool, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift
method array : < array : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a Base.array, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; bool : (bool, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; char : (char, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; constr : string ‑> Ppxlib.pattern list ‑> Ppxlib.pattern; float : (float, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int : (int, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int32 : (int32, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int64 : (int64, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; list : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a list, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; nativeint : (nativeint, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; option : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a option, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; other : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; record : (string * Ppxlib.pattern) list ‑> Ppxlib.pattern; string : (string, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; tuple : Ppxlib.pattern list ‑> Ppxlib.pattern; unit : (unit, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; .. > ‑> a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a Base.array, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift
method unit : < array : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a Base.array, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; bool : (bool, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; char : (char, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; constr : string ‑> Ppxlib.pattern list ‑> Ppxlib.pattern; float : (float, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int : (int, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int32 : (int32, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int64 : (int64, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; list : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a list, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; nativeint : (nativeint, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; option : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a option, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; other : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; record : (string * Ppxlib.pattern) list ‑> Ppxlib.pattern; string : (string, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; tuple : Ppxlib.pattern list ‑> Ppxlib.pattern; unit : (unit, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; .. > ‑> (unit, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift
method other : < array : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a Base.array, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; bool : (bool, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; char : (char, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; constr : string ‑> Ppxlib.pattern list ‑> Ppxlib.pattern; float : (float, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int : (int, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int32 : (int32, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; int64 : (int64, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; list : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a list, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; nativeint : (nativeint, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; option : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift ‑> ('a option, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; other : a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; record : (string * Ppxlib.pattern) list ‑> Ppxlib.pattern; string : (string, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; tuple : Ppxlib.pattern list ‑> Ppxlib.pattern; unit : (unit, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift; .. > ‑> a. ('a, Ppxlib.pattern) Ppxlib_traverse_builtins.T.lift