Interface.GROUP_LOOP
Every GROUP is a LOOP.
GROUP
LOOP
G : GROUP
include QUASIGROUP
include MAGMA
type t
val append : t -> t -> t
val empty : t