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
.