Module Leq.SyntaxSource

Parameters

module F : Formula with type 'kind desc = 'kind t

Signature

Sourceval lt : kind Var.t -> elt -> F.t
Sourceval le : kind Var.t -> elt -> F.t
Sourceval (<=) : kind Var.t -> elt -> F.t
Sourceval (<) : kind Var.t -> elt -> F.t
Sourceval (>=) : kind Var.t -> elt -> F.t
Sourceval (>) : kind Var.t -> elt -> F.t
Sourceval (=) : kind Var.t -> elt -> F.t
Sourceval (<>) : kind Var.t -> elt -> F.t

v <> x is equivalent to v < x || v > x.

  • raises Invalid_argument

    if F is a Constraint module, as disjunctions are not supported in constraints.