Gg.Size1
Sizes in 1D space.
In 1D space, width is the extent along the x-axis.
type t = float
The type for 1D sizes.
val dim : int
dim is the dimension of sizes of type size1
dim
size1
val v : float -> size1
v w is a size of width w.
v w
w
val w : size1 -> float
w s is the width of s.
w s
s
val zero : size1
zero is the zero size, zero width.
zero
val unit : size1
unit is the unit size, one width.
unit