Module CamlinternalQuote.CaseSource
Source
val nonbinding :
CamlinternalQuote.Loc.t ->
CamlinternalQuote.Pat.t ->
CamlinternalQuote.Exp.t ->
CamlinternalQuote.Case.tSource
val pattern :
CamlinternalQuote.Loc.t ->
bound_values:CamlinternalQuote.Name.t list ->
bound_modules:CamlinternalQuote.Name.t list ->
(CamlinternalQuote.Var.Value.t list ->
CamlinternalQuote.Var.Module.t list ->
CamlinternalQuote.Pat.t * CamlinternalQuote.Exp.t)
CamlinternalQuote.lam ->
CamlinternalQuote.Case.tSource
val guarded :
CamlinternalQuote.Loc.t ->
bound_values:CamlinternalQuote.Name.t list ->
bound_modules:CamlinternalQuote.Name.t list ->
(CamlinternalQuote.Var.Value.t list ->
CamlinternalQuote.Var.Module.t list ->
CamlinternalQuote.Pat.t * CamlinternalQuote.Exp.t * CamlinternalQuote.Exp.t)
CamlinternalQuote.lam ->
CamlinternalQuote.Case.tSource
val refutation :
CamlinternalQuote.Loc.t ->
bound_values:CamlinternalQuote.Name.t list ->
bound_modules:CamlinternalQuote.Name.t list ->
(CamlinternalQuote.Var.Value.t list ->
CamlinternalQuote.Var.Module.t list ->
CamlinternalQuote.Pat.t)
CamlinternalQuote.lam ->
CamlinternalQuote.Case.t