Module type LogtkInterfaces.GROUP

module type GROUP = sig .. end

include LogtkInterfaces.MONOID
val inverse : t -> t