Module Commutative_group

module Commutative_group: sig .. end

include Core_kernel.Commutative_group