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