Up – bastet » Bastet » Interface » MONOID

Module type `Interface.MONOID`

A MONOID only needs to be commutative with the empty element.

include SEMIGROUP

include MAGMA

type t

val append : t -> t -> t

val empty : t