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 -> 'Fcl_invariant.unsetable_t end