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