Module Hugin_kit.Dash
Dash patterns.
A dash pattern says how a line is broken: the lengths of its dashes and of the gaps between them, in multiples of the line's width, starting with a dash, so that a pattern keeps its look at every width. A pattern of an odd number of lengths repeats once to make it even, as Hugin_gg.Stroke.v repeats it. The lengths are those of the dashes themselves, whatever the caps that end them: a round or square cap adds half the width beyond each end of a dash, so a dash of length 0. draws a dot.
all is the ordered set of patterns that tell the series of a figure apart.
Patterns
type tThe type for dash patterns.
v lengths is the pattern of lengths, dash first. v [] is solid.
Raises Invalid_argument if a length is negative or not finite, or if lengths is not empty and sums to 0..
Observing
Comparing and formatting
equal d d' is true iff d and d' have equal lengths, compared by Float.equal.