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