Module type Dual.SEMIGROUP_F

Parameters

Signature

include Interface.MAGMA
type t
val append : t -> t -> t