sig
type
t = { big_dim : int; small_dim : int; }
end