Module Gg.Size1
val dim : int
dim
is the dimension of sizes of typesize1
Constructors, accessors and constants
val v : float -> size1
v w
is a size of widthw
.
val w : size1 -> float
w s
is the width ofs
.
val zero : size1
zero
is the zero size, zero width.
val unit : size1
unit
is the unit size, one width.