Parameter ArraysAsImperativeMaps.K

val n : int