Module type Linear.Ring

module type Ring = sig .. end

type t 
val equal : t -> t -> bool
val add : t -> t -> t
val negate : t -> t
val zero : t
val mul : t -> t -> t
val one : t