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