sig
  type handle
  type stored_nodeid
  type record_kind
  type elem_eqnameid
  type attr_eqnameid
  type type_eqnameid
  val encode_elem_eqnameid :
    Shredded_dm_step.Step_Store.handle ->
    Namespace_symbols.relem_symbol ->
    Shredded_dm_step.Step_Store.elem_eqnameid
  val encode_attr_eqnameid :
    Shredded_dm_step.Step_Store.handle ->
    Namespace_symbols.rattr_symbol ->
    Shredded_dm_step.Step_Store.attr_eqnameid
  val encode_type_eqnameid :
    Shredded_dm_step.Step_Store.handle ->
    Namespace_symbols.rtype_symbol ->
    Shredded_dm_step.Step_Store.type_eqnameid
  val get_record_kind :
    Shredded_dm_step.Step_Store.handle ->
    Shredded_dm_step.Step_Store.stored_nodeid ->
    Shredded_dm_step.Step_Store.record_kind
  val get_elem_name :
    Shredded_dm_step.Step_Store.handle ->
    Shredded_dm_step.Step_Store.stored_nodeid ->
    Namespace_symbols.relem_symbol
  val get_attr_name :
    Shredded_dm_step.Step_Store.handle ->
    Shredded_dm_step.Step_Store.stored_nodeid ->
    Namespace_symbols.rattr_symbol
  val get_type :
    Shredded_dm_step.Step_Store.handle ->
    Shredded_dm_step.Step_Store.stored_nodeid ->
    Namespace_symbols.rtype_symbol option
  val get_elem_eqnameid :
    Shredded_dm_step.Step_Store.handle ->
    Shredded_dm_step.Step_Store.stored_nodeid ->
    Shredded_dm_step.Step_Store.elem_eqnameid
  val get_attr_eqnameid :
    Shredded_dm_step.Step_Store.handle ->
    Shredded_dm_step.Step_Store.stored_nodeid ->
    Shredded_dm_step.Step_Store.elem_eqnameid
  val get_type_eqnameid :
    Shredded_dm_step.Step_Store.handle ->
    Shredded_dm_step.Step_Store.stored_nodeid ->
    Shredded_dm_step.Step_Store.elem_eqnameid option
  val get_elem_name_eqnameid_with_type_name :
    Shredded_dm_step.Step_Store.handle ->
    Shredded_dm_step.Step_Store.stored_nodeid ->
    Shredded_dm_step.Step_Store.elem_eqnameid *
    Namespace_symbols.rtype_symbol option
  val get_attr_name_eqnameid_with_type_name :
    Shredded_dm_step.Step_Store.handle ->
    Shredded_dm_step.Step_Store.stored_nodeid ->
    Shredded_dm_step.Step_Store.attr_eqnameid *
    Namespace_symbols.rtype_symbol option
  val get_single_element_node :
    Shredded_dm_step.Step_Store.handle ->
    Shredded_dm_step.Step_Store.stored_nodeid ->
    Shredded_dm_step.Step_Store.stored_nodeid
  val get_pi_target :
    Shredded_dm_step.Step_Store.handle ->
    Shredded_dm_step.Step_Store.stored_nodeid -> string
end