Module `Bastet__Dual.Monoid`

Parameters

M : Bastet.Interface.MONOID

Signature

include Bastet.Interface.SEMIGROUP

include Bastet.Interface.MAGMA

type t

val append : t -> t -> t

val empty : t