Module type `Tuple.MONOID_F`

Parameters

First : Interface.MONOID
Second : Interface.MONOID

Signature

include Interface.SEMIGROUP

include Interface.MAGMA

type t

val append : t -> t -> t

val empty : t