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