Lift (p.clangml.4.7.0.doc.clangml_ppx.Clangml

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 = {

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