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