Up – bastet » Bastet » Interface » MEDIAL_QUASIGROUP

Module type `Interface.MEDIAL_QUASIGROUP`

Every MEDIAL_QUASIGROUP is isotopic to an ABELIAN_GROUP.

include MEDIAL_MAGMA

include MAGMA

type t

val append : t -> t -> t