A math library for euclidean spaces of low dimension (< 4) for OCaml. Phantom types are used to differentiate between mutable and immutable values. A bit like const in C++.