pattern_lifters (ppxlib.Ppxlib_metaquot_lifters.pattern

inherit Ppxlib_traverse_builtins.lift

method record : < array : 
                  'a. ( 'a, Ppxlib.pattern ) Ppxlib_traverse_builtins.T.lift ->
                  ( 'a 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) list ->
  Ppxlib.pattern

method constr : 'b -> string -> Ppxlib.pattern list -> Ppxlib.pattern

method tuple : 'b -> Ppxlib__Import.pattern list -> Ppxlib.pattern

method int : 'b -> ( int, Ppxlib.pattern ) Ppxlib_traverse_builtins.T.lift

method int32 : 'b -> ( int32, Ppxlib.pattern ) Ppxlib_traverse_builtins.T.lift

method int64 : 'b -> ( int64, Ppxlib.pattern ) Ppxlib_traverse_builtins.T.lift

method nativeint : 'b ->
  ( nativeint, Ppxlib.pattern ) Ppxlib_traverse_builtins.T.lift

method float : 'b -> ( float, Ppxlib.pattern ) Ppxlib_traverse_builtins.T.lift

method string : 'b ->
  ( string, Ppxlib.pattern ) Ppxlib_traverse_builtins.T.lift

method char : 'b -> ( char, Ppxlib.pattern ) Ppxlib_traverse_builtins.T.lift

method bool : 'b -> ( bool, Ppxlib.pattern ) Ppxlib_traverse_builtins.T.lift

method array : 'b ->
  'a. ( 'a, Ppxlib.pattern ) Ppxlib_traverse_builtins.T.lift ->
  ( 'a array, Ppxlib.pattern ) Ppxlib_traverse_builtins.T.lift

method unit : 'b -> ( unit, Ppxlib.pattern ) Ppxlib_traverse_builtins.T.lift

method other : 'b -> 'a. ( 'a, Ppxlib.pattern ) Ppxlib_traverse_builtins.T.lift