Previous
Up
Next
Module
Commutative_group
module
Commutative_group:
sig
..
end
include
Core_kernel.Commutative_group