sig
type fd
type elt
val min :
Fcl_invariant.FD.fd -> Fcl_invariant.FD.elt Fcl_invariant.unsetable_t
val max :
Fcl_invariant.FD.fd -> Fcl_invariant.FD.elt Fcl_invariant.unsetable_t
val size : Fcl_invariant.FD.fd -> int Fcl_invariant.unsetable_t
val is_var : Fcl_invariant.FD.fd -> bool Fcl_invariant.unsetable_t
val unary :
?name:string ->
(Fcl_invariant.FD.fd -> 'a) ->
Fcl_invariant.FD.fd -> 'a Fcl_invariant.unsetable_t
end