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