Bastet__Result.Magma
T : Bastet.Interface.TYPE
M : Bastet.Interface.MAGMA
type t
= (M.t, T.t) Stdlib.result
val append : t -> t -> t