Parameter Map_of_array.A

type codomain
val table : codomain array