Kappa_data_structures.GenArray
Signature of array only limited by max_int
module type GenArray = sig ... end