Up  Next

Module type Group.T

module type T = sig .. end

A group.

include Monoid.T
val inv : t -> t