On This Page
package gg
On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Sizes in 1D space.
In 1D space, width is the extent along the x-axis.
dim is the dimension of sizes of type size1
Constructors, accessors and constants
val v : float -> size1v w is a size of width w.
val w : size1 -> floatw s is the width of s.
val zero : size1zero is the zero size, zero width.
val unit : size1unit is the unit size, one width.
On This Page