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