Module Additive.Abelian_Group

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