Module MapperExp.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.Exp).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