module type T = sig .. end
sig
end
An algebra.
type t
An element of the algebra.
type r
An element of the ring.
include Ring.T
module Field: sig .. end
val cmul : r -> t -> t
r -> t -> t