Module `CamlinternalQuote.Case`Source

Sourcetype t

Sourceval nonbinding : Loc.t -> Pat.t -> Exp.t -> t

Sourceval 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

Source

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

Source

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

Module CamlinternalQuote.CaseSource

Module `CamlinternalQuote.Case`Source