module Fd: FD
with
type fd = Fcl_var.Fd.t
and type elt = Fcl_var.Fd.elt
Module for accessing finite integer domain variables with BIRs.
type
fd
Type of a finite domain variable.
type
elt
Type of elements in the domain.
val min : fd -> elt Fcl_invariant.unsetable_t
val max : fd -> elt Fcl_invariant.unsetable_t
val size : fd -> int Fcl_invariant.unsetable_t
val is_var : fd -> bool Fcl_invariant.unsetable_t
BIR variants of Fd.Var
access functions.
val unary : ?name:string ->
(fd -> 'a) ->
fd -> 'a Fcl_invariant.unsetable_t
unary ~name:"Invariant.XxxFd.unary" f v
Wrapper of any access
function over fd
type.