sig type t val dim : int val zero : Gg.Size.t val unit : Gg.Size.t end