sig type t val create : unit -> PropList.Data.t val clear : PropList.Data.t -> unit val elements : PropList.Data.t -> string list end