Bastet__Interface.MONOID
include SEMIGROUP
include MAGMA
type t
val append : t -> t -> t
val empty : t