sig type t = int val append : t -> t -> t val zero : t end