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