sig
  val erase_simple_value : Dm_atomic.atomicValue list -> Datatypes.xs_untyped
  val integer_one : Dm_atomic.atomicValue
  val total_order_compare :
    Dm_atomic.atomicValue -> Dm_atomic.atomicValue -> int
  val uri_dm_of_uri :
    AnyURI._uri option -> Dm_atomic.atomicValue option Pervasives.ref
  val default_no_uri_dm : Dm_atomic.atomicValue option Pervasives.ref
end