Module `CamlinternalQuote.Function`

type t

val body : 
  Ocaml_typing.CamlinternalQuote.Exp.t ->
  Ocaml_typing.CamlinternalQuote.Type_constraint.t option ->
  Ocaml_typing.CamlinternalQuote.Function.t

val cases : 
  Ocaml_typing.CamlinternalQuote.Case.t list ->
  Ocaml_typing.CamlinternalQuote.Type_constraint.t option ->
  Ocaml_typing.CamlinternalQuote.Function.t

val param : 
  Ocaml_typing.CamlinternalQuote.Label.t ->
  Ocaml_typing.CamlinternalQuote.Exp.t option ->
  Ocaml_typing.CamlinternalQuote.Loc.t ->
  Ocaml_typing.CamlinternalQuote.Name.t list ->
  (Ocaml_typing.CamlinternalQuote.Var.Value.t list ->
    Ocaml_typing.CamlinternalQuote.Pat.t
    * Ocaml_typing.CamlinternalQuote.Function.t)
    Ocaml_typing.CamlinternalQuote.lam ->
  Ocaml_typing.CamlinternalQuote.Function.t

val param_module_nonbinding : 
  Ocaml_typing.CamlinternalQuote.Label.t ->
  Ocaml_typing.CamlinternalQuote.Loc.t ->
  Ocaml_typing.CamlinternalQuote.Pat.t ->
  Ocaml_typing.CamlinternalQuote.Function.t ->
  Ocaml_typing.CamlinternalQuote.Function.t

val param_module : 
  Ocaml_typing.CamlinternalQuote.Label.t ->
  Ocaml_typing.CamlinternalQuote.Loc.t ->
  Ocaml_typing.CamlinternalQuote.Name.t ->
  (Ocaml_typing.CamlinternalQuote.Var.Module.t ->
    Ocaml_typing.CamlinternalQuote.Pat.t
    * Ocaml_typing.CamlinternalQuote.Function.t)
    Ocaml_typing.CamlinternalQuote.lam ->
  Ocaml_typing.CamlinternalQuote.Function.t

val newtype : 
  Ocaml_typing.CamlinternalQuote.Loc.t ->
  Ocaml_typing.CamlinternalQuote.Name.t ->
  (Ocaml_typing.CamlinternalQuote.Var.Type_constr.t ->
    Ocaml_typing.CamlinternalQuote.Function.t)
    Ocaml_typing.CamlinternalQuote.lam ->
  Ocaml_typing.CamlinternalQuote.Function.t

Module CamlinternalQuote.Function

Module `CamlinternalQuote.Function`