Module Vector.DimThree


module DimThree: Dimension
Dimension for three-element vectors

val length : int