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