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