sig
val xpath_axis_attribute :
Typing_context.static_context ->
Streaming_conv.typed_labeled_xml_stream ->
Xquery_algebra_ast.anode_test -> Streaming_conv.typed_labeled_xml_stream
val xpath_axis_descendant_or_self :
Typing_context.static_context ->
Streaming_conv.typed_labeled_xml_stream ->
Xquery_algebra_ast.anode_test -> Streaming_conv.typed_labeled_xml_stream
val xpath_axis_descendant :
Typing_context.static_context ->
Streaming_conv.typed_labeled_xml_stream ->
Xquery_algebra_ast.anode_test -> Streaming_conv.typed_labeled_xml_stream
val xpath_axis_child :
Typing_context.static_context ->
Streaming_conv.typed_labeled_xml_stream ->
Xquery_algebra_ast.anode_test -> Streaming_conv.typed_labeled_xml_stream
end