module Infix:sig..end
val (+/) : Concrete.CPoint.t ->
Concrete.CPoint.t -> Concrete.CPoint.tConcrete.CPoint.addval (-/) : Concrete.CPoint.t ->
Concrete.CPoint.t -> Concrete.CPoint.tConcrete.CPoint.subval ( */ ) : float -> Concrete.CPoint.t -> Concrete.CPoint.tConcrete.CPoint.multval (//) : Concrete.CPoint.t -> float -> Concrete.CPoint.tConcrete.CPoint.div