Result.Medial_Magma
T : Interface.TYPE
M : Interface.MAGMA
include Interface.MAGMA
type t
val append : t -> t -> t