Function (p.oxcaml-compiler.5.2.0minus39.doc.stdlib.CamlinternalQuote.Function)

Sourcetype t

Sourceval body : Exp.t -> Type_constraint.t option -> t

Sourceval 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

Sourceval 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

Sourceval newtype : Loc.t -> Name.t -> (Var.Type_constr.t -> t) lam -> t