sig
  val isDocumentNode : Dm.node -> bool
  val isElementNode : Dm.node -> bool
  val isAttributeNode : Dm.node -> bool
  val isTextNode : Dm.node -> bool
  val isProcessingInstructionNode : Dm.node -> bool
  val isCommentNode : Dm.node -> bool
  val string_of_node_kind : Dm_types._NodeKind -> string
  val string_of_atomic_value_kind : Datatypes.atomic_type -> string
  val node_equal : Dm.node -> Dm.node -> bool
  val node_precedes : Dm.node -> Dm.node -> bool
  val node_follows : Dm.node -> Dm.node -> bool
  val node_compare : Dm.node -> Dm.node -> int
  val node_preceding_xpath : Dm.node -> Dm.node -> bool
  val node_following_xpath : Dm.node -> Dm.node -> bool
  val node_ancestor_xpath : Dm.node -> Dm.node -> bool
  val node_descendant_xpath : Dm.node -> Dm.node -> bool
  val string_of_ElemName : Namespace_symbols.relem_symbol -> string
  val string_of_AttrName : Namespace_symbols.rattr_symbol -> string
  val _ElemName_of_string : string -> Namespace_symbols.relem_symbol
  val _AttrName_of_string : string -> Namespace_symbols.rattr_symbol
  val get_node_name : Dm.node -> Namespace_names.rqname option
  val get_node_qname : Dm.node -> string
  type name_index =
      Namespace_symbols.relem_symbol *
      Dm.node Dm_atomic_btree_util.full_btree_handler
end