sig
  val min : Fcl_var.Fd.t array -> Fcl_var.Fd.t
  val max : Fcl_var.Fd.t array -> Fcl_var.Fd.t
  val min_cstr : Fcl_var.Fd.t array -> Fcl_var.Fd.t -> Fcl_cstr.t
  val max_cstr : Fcl_var.Fd.t array -> Fcl_var.Fd.t -> Fcl_cstr.t
  val get : Fcl_var.Fd.t array -> Fcl_var.Fd.t -> Fcl_var.Fd.t
  val get_cstr :
    Fcl_var.Fd.t array -> Fcl_var.Fd.t -> Fcl_var.Fd.t -> Fcl_cstr.t
end