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.tconjval (|.) : AGeom.Quaternion.t -> floatnorm