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