sig type t = int and change = { dim : int array; intdim : int; realdim : int; } and perm = int array and dimension = { intd : int; reald : int; } end