Module Gg.Size1

module Size1: sig .. end


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 Gg.size1

Constructors, accessors and constants


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.