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