CamlinternalQuote.Function
type t
val body : Exp.t -> Type_constraint.t option -> t
val cases : Case.t list -> Type_constraint.t option -> t
val param : Label.t -> Exp.t option -> Loc.t -> Name.t list -> (Var.Value.t list -> Pat.t * t) lam -> t
val param_module_nonbinding : Label.t -> Loc.t -> Pat.t -> t -> t
val param_module : Label.t -> Loc.t -> Name.t -> (Var.Module.t -> Pat.t * t) lam -> t
val newtype : Loc.t -> Name.t -> (Var.Type_constr.t -> t) lam -> t