Module Invariant.SetFd

module SetFd: FD 
   type fd = Var.SetFd.t
   and type elt = Var.SetFd.elt
Module for accessing set domain variables with BIRs.

type fd 
Type of a finite domain variable.
type elt 
Type of elements in the domain.
val min : fd -> elt Invariant.unsetable_t
val max : fd -> elt Invariant.unsetable_t
val size : fd -> int Invariant.unsetable_t
val is_var : fd -> bool Invariant.unsetable_t
BIR variants of Fd.Var access functions.
val unary : ?name:string ->
(fd -> 'a) -> fd -> 'a Invariant.unsetable_t
unary ~name:"Invariant.XxxFd.unary" f v Wrapper of any access function over fd type.