Commutative_Ring.1-R
include Interface.RING
include Interface.SEMIRING
type t
val add : t -> t -> t
val zero : t
val multiply : t -> t -> t
val one : t
val subtract : t -> t -> t