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