Module Invariant.Array

module Array: sig .. end

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

get a i returns the BIR element number i of array a.

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

argmin a c returns the BIR index of the minimum BIR value of a for criterion c.

val min : ('a, 'b) Invariant.t array -> ('a -> 'c) -> 'a Invariant.unsetable_t

min a c returns the minimum BIR value of a for criterion c.