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