module Infix:sig
..end
val (+) : AGeom.Quaternion.t -> AGeom.Quaternion.t -> AGeom.Quaternion.t
val (-) : AGeom.Quaternion.t -> AGeom.Quaternion.t -> AGeom.Quaternion.t
val ( * ) : AGeom.Quaternion.t -> AGeom.Quaternion.t -> AGeom.Quaternion.t
val (/) : AGeom.Quaternion.t -> AGeom.Quaternion.t -> AGeom.Quaternion.t
val (~.) : AGeom.Quaternion.t -> AGeom.Quaternion.t
conj
val (|.) : AGeom.Quaternion.t -> float
norm