Up – bastet » Bastet__Dual » SEMIGROUP_F

Module type `Bastet__Dual.SEMIGROUP_F`

Parameters

S : Bastet.Interface.SEMIGROUP

Signature

include Bastet.Interface.MAGMA

type t

val append : t -> t -> t