Up – bastet » Bastet__Option » SEMIGROUP_F

Module type `Bastet__Option.SEMIGROUP_F`

Parameters

S : Bastet.Interface.SEMIGROUP

Signature

include Bastet.Interface.MAGMA

type t

val append : t -> t -> t