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