Function (merlin-lib.merlin-lib.ocaml_typing.Ocaml_typing.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