sig
type
t = { ind : int; dim : int; }
end