Module Gg.Size1
val dim : intdimis the dimension of sizes of typesize1
Constructors, accessors and constants
val v : float -> size1v wis a size of widthw.
val w : size1 -> floatw sis the width ofs.
val zero : size1zerois the zero size, zero width.
val unit : size1unitis the unit size, one width.