sig   val get :     ('a, 'b) Fcl_invariant.t array ->     (int, 'c) Fcl_invariant.t -> 'Fcl_invariant.unsetable_t   val argmin :     ('a, 'b) Fcl_invariant.t array ->     ('-> 'c) -> int Fcl_invariant.unsetable_t   val min :     ('a, 'b) Fcl_invariant.t array ->     ('-> 'c) -> 'Fcl_invariant.unsetable_t end