sig
  val item_kind : Physical_value.item -> Physical_value._ItemKind
  val string_value : Physical_value.item -> Datatypes.xs_string
  val getAtomicValue : Physical_value.item -> Dm_atomic.atomicValue
  val getNode : Physical_value.item -> Dm.node
end