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