Module type Bastet__Interface.MAGMA

type t
val append : t -> t -> t