package clangml

  1. Overview
  2. Docs
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 = {
  1. 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