Module Netaux.ArrayAuxSource

Sourceval int_blit : int array -> int -> int array -> int -> int -> unit

A specialisation of Array.blit for int arrays. * (Performance reasons.)

Sourceval int_series : int array -> int -> int array -> int -> int -> int -> unit

int_series src srcpos dst dstpos len n: * Computes for every i, 0 <= i < len: * dst.(dstpos+i) = n + SUM(j=0..(i-1): src.(srcpos+j)) * * It is expected that src == dst implies srcpos >= dstpos.