module Array:sig
..end
val get : ('a, 'b) Fcl_invariant.t array ->
(int, 'c) Fcl_invariant.t -> 'a Fcl_invariant.unsetable_t
get a i
returns the BIR element number i
of array a
.val argmin : ('a, 'b) Fcl_invariant.t array -> ('a -> 'c) -> int Fcl_invariant.unsetable_t
argmin a c
returns the BIR index of the minimum BIR value of a
for
criterion c
.val min : ('a, 'b) Fcl_invariant.t array -> ('a -> 'c) -> 'a Fcl_invariant.unsetable_t
min a c
returns the minimum BIR value of a
for criterion c
.