module Dim: sig .. end
sig
end
type t = int
int
type change = {
dim : int array;
int array
intdim : int;
realdim : int;
type perm = int array
type dimension = {
intd : int;
reald : int;