Module Facile.Invariant.Array

module Array: sig .. end

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