Module type Shredded_dm_step.Step_Store

module type Step_Store = sig .. end

type handle 

type stored_nodeid 

type record_kind 

type elem_eqnameid 

type attr_eqnameid 

type type_eqnameid 

val encode_elem_eqnameid : handle ->
       Namespace_symbols.relem_symbol -> elem_eqnameid

val encode_attr_eqnameid : handle ->
       Namespace_symbols.rattr_symbol -> attr_eqnameid

val encode_type_eqnameid : handle ->
       Namespace_symbols.rtype_symbol -> type_eqnameid

val get_record_kind : handle ->
       stored_nodeid ->
       record_kind

val get_elem_name : handle ->
       stored_nodeid -> Namespace_symbols.relem_symbol

val get_attr_name : handle ->
       stored_nodeid -> Namespace_symbols.rattr_symbol

val get_type : handle ->
       stored_nodeid ->
       Namespace_symbols.rtype_symbol option

val get_elem_eqnameid : handle ->
       stored_nodeid ->
       elem_eqnameid

val get_attr_eqnameid : handle ->
       stored_nodeid ->
       elem_eqnameid

val get_type_eqnameid : handle ->
       stored_nodeid ->
       elem_eqnameid option

val get_elem_name_eqnameid_with_type_name : handle ->
       stored_nodeid ->
       elem_eqnameid *
       Namespace_symbols.rtype_symbol option

val get_attr_name_eqnameid_with_type_name : handle ->
       stored_nodeid ->
       attr_eqnameid *
       Namespace_symbols.rtype_symbol option

val get_single_element_node : handle ->
       stored_nodeid ->
       stored_nodeid

val get_pi_target : handle ->
       stored_nodeid -> string