sig
  val isNode : Physical_value.item -> bool
  val isAtomicValue : Physical_value.item -> bool
  val string_of_item_kind : Physical_value._ItemKind -> string
  val _true : Physical_value.item
  val _false : Physical_value.item
  val _integer : Datatypes.xs_integer -> Physical_value.item
  val _decimal : Datatypes.xs_decimal -> Physical_value.item
  val _boolean : Datatypes.xs_boolean -> Physical_value.item
  val _float : Datatypes.xs_float -> Physical_value.item
  val _double : Datatypes.xs_double -> Physical_value.item
  val _string : Datatypes.xs_string -> Physical_value.item
  val _NCName : Datatypes.xs_string -> Physical_value.item
  val _QName : Datatypes.xs_QName -> Physical_value.item
  val _anyURI : Datatypes.xs_anyURI -> Physical_value.item
  val _untyped : Datatypes.xs_untyped -> Physical_value.item
  val _date : Datatypes.xs_date -> Physical_value.item
  val _time : Datatypes.xs_time -> Physical_value.item
  val _dateTime : Datatypes.xs_dateTime -> Physical_value.item
  val _yearMonthDuration :
    Datatypes.xs_yearMonthDuration -> Physical_value.item
  val _dayTimeDuration : Datatypes.xs_dayTimeDuration -> Physical_value.item
end