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