Module Module.Left.Ring

module Ring: sig .. end

include Ring.T