Divisive.Medial_Quasigroup
include Bastet.Interface.MEDIAL_MAGMA
include Bastet.Interface.MAGMA
type t
val append : t -> t -> t