sig type t = stored_atomic_value_list_with_nilled type encoded_type = char array val encode : t -> encoded_type val decode : encoded_type -> t end