Module `CamlinternalQuote.Case`

type t

val nonbinding : 
  Ocaml_typing.CamlinternalQuote.Loc.t ->
  Ocaml_typing.CamlinternalQuote.Pat.t ->
  Ocaml_typing.CamlinternalQuote.Exp.t ->
  Ocaml_typing.CamlinternalQuote.Case.t

val simple : 
  Ocaml_typing.CamlinternalQuote.Loc.t ->
  Ocaml_typing.CamlinternalQuote.Name.t ->
  (Ocaml_typing.CamlinternalQuote.Var.Value.t ->
    Ocaml_typing.CamlinternalQuote.Exp.t)
    Ocaml_typing.CamlinternalQuote.lam ->
  Ocaml_typing.CamlinternalQuote.Case.t

val pattern : 
  Ocaml_typing.CamlinternalQuote.Loc.t ->
  bound_values:Ocaml_typing.CamlinternalQuote.Name.t list ->
  bound_modules:Ocaml_typing.CamlinternalQuote.Name.t list ->
  (Ocaml_typing.CamlinternalQuote.Var.Value.t list ->
    Ocaml_typing.CamlinternalQuote.Var.Module.t list ->
    Ocaml_typing.CamlinternalQuote.Pat.t * Ocaml_typing.CamlinternalQuote.Exp.t)
    Ocaml_typing.CamlinternalQuote.lam ->
  Ocaml_typing.CamlinternalQuote.Case.t

val guarded : 
  Ocaml_typing.CamlinternalQuote.Loc.t ->
  bound_values:Ocaml_typing.CamlinternalQuote.Name.t list ->
  bound_modules:Ocaml_typing.CamlinternalQuote.Name.t list ->
  (Ocaml_typing.CamlinternalQuote.Var.Value.t list ->
    Ocaml_typing.CamlinternalQuote.Var.Module.t list ->
    Ocaml_typing.CamlinternalQuote.Pat.t
    * Ocaml_typing.CamlinternalQuote.Exp.t
    * Ocaml_typing.CamlinternalQuote.Exp.t)
    Ocaml_typing.CamlinternalQuote.lam ->
  Ocaml_typing.CamlinternalQuote.Case.t

val refutation : 
  Ocaml_typing.CamlinternalQuote.Loc.t ->
  bound_values:Ocaml_typing.CamlinternalQuote.Name.t list ->
  bound_modules:Ocaml_typing.CamlinternalQuote.Name.t list ->
  (Ocaml_typing.CamlinternalQuote.Var.Value.t list ->
    Ocaml_typing.CamlinternalQuote.Var.Module.t list ->
    Ocaml_typing.CamlinternalQuote.Pat.t)
    Ocaml_typing.CamlinternalQuote.lam ->
  Ocaml_typing.CamlinternalQuote.Case.t

Module CamlinternalQuote.Case

Module `CamlinternalQuote.Case`