Libabsolute.Ring
module type T = sig ... end
Module type arithmetic types equipped with addition and multiplication.