Parameter Group.1-G

include Interface.LOOP
include Interface.QUASIGROUP
include Interface.MAGMA
type t
val append : t -> t -> t
val empty : t
include Interface.MONOID with type t := t
include Interface.SEMIGROUP
include Interface.MAGMA
type t
val append : t -> t -> t
val empty : t
val inverse : t -> t