module Size1:sig
..end
typet =
float
val dim : int
val v : float -> Gg.size1
v w
is a size of width w
.val w : Gg.size1 -> float
w s
is the width of s
.val zero : Gg.size1
zero
is the zero size, zero width.val unit : Gg.size1
unit
is the unit size, one width.