Module Divisive.Magma

type t = int
val append : t -> t -> t