module type FD =Generic signature.sig
..end
type
fd
type
elt
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
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.