Module type Gg.Size
Implemented by all size types.
val dim : intdimis the dimension of sizes of typet.
Constructors, accessors and constants
val zero : tzerois the zero size, zero extent in each dimension.
val unit : tunitis the unit size, one extent in each dimension.