Module CamlinternalQuote.Case

type t
val nonbinding : Loc.t -> Pat.t -> Exp.t -> t
val simple : Loc.t -> Name.t -> (Var.Value.t -> Exp.t) lam -> t
val pattern : Loc.t -> bound_values:Name.t list -> bound_modules:Name.t list -> (Var.Value.t list -> Var.Module.t list -> Pat.t * Exp.t) lam -> t
val guarded : Loc.t -> bound_values:Name.t list -> bound_modules:Name.t list -> (Var.Value.t list -> Var.Module.t list -> Pat.t * Exp.t * Exp.t) lam -> t
val refutation : Loc.t -> bound_values:Name.t list -> bound_modules:Name.t list -> (Var.Value.t list -> Var.Module.t list -> Pat.t) lam -> t