Module `Infix.Euclidean_Ring`

Parameters

E : Interface.EUCLIDEAN_RING

Signature

include sig ... end

val (|+|) : E.t -> E.t -> E.t
val (|*|) : E.t -> E.t -> E.t
val (|-|) : E.t -> E.t -> E.t

val (|/|) : E.t -> E.t -> E.t
val (|%|) : E.t -> E.t -> E.t