Up – bastet » Bastet » Result » SEMIGROUP_F

Module type `Result.SEMIGROUP_F`

Parameters

T : Interface.TYPE
S : Interface.SEMIGROUP

Signature

include Interface.MAGMA

type t

val append : t -> t -> t