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