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