module Typing_step: sig .. end
sig
end
val compute_type_axis_node_test : Typing_context.static_context -> Xquery_common_ast.axis -> Xquery_core_ast.cnode_test -> Finfo.finfo -> Xquery_type_core_ast.cxtype
Typing_context.static_context -> Xquery_common_ast.axis -> Xquery_core_ast.cnode_test -> Finfo.finfo -> Xquery_type_core_ast.cxtype