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