module Infix:sig
..end
val (+/) : Concrete.CPoint.t ->
Concrete.CPoint.t -> Concrete.CPoint.t
Concrete.CPoint.add
val (-/) : Concrete.CPoint.t ->
Concrete.CPoint.t -> Concrete.CPoint.t
Concrete.CPoint.sub
val ( */ ) : float -> Concrete.CPoint.t -> Concrete.CPoint.t
Concrete.CPoint.mult
val (//) : Concrete.CPoint.t -> float -> Concrete.CPoint.t
Concrete.CPoint.div