Module type Result.MAGMA_F

Parameters

• T : Interface.TYPE
• M : Interface.MAGMA

Signature

type t = (M.t, T.t) Stdlib.result

val append : t -> t -> t