Module `MapperPat.Lift`

module Lifter : sig ... end

module Lifters : sig ... end

type 'a hook_fun = 'a Refl__.Desc.refl -> (?⁠hook:hook -> 'a Lifter.t) -> 'a Lifter.t
and hook = Refl__Lift.Make(Metapp.Pat).hook = { hook : a. 'a hook_fun; }

val lift : ?⁠hook:hook -> ('a, 'structure, 'arity, 'rec_group, [< Refl__.Desc.Kinds.liftable Array Arrow Attributes Bool Bytes Char Constr Exists Float Int Int32 Int64 Lazy MapOpaque Nativeint Object Opaque Record String Tuple Variable Variant ], 'positive, 'negative, 'direct, 'gadt) Refl__.Desc.desc -> ('arity, 'direct) Lifters.t -> 'a Lifter.t