Type Alias Dash 

pub type Dash = (Length, Length, Length);

A dash pattern (dashed-stroke’s 2nd argument; upstream graphicD.ml’s type dash = length * length * length, (d1, d2, d0) = on-length, off-length, phase).