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