Module Typing_step

module Typing_step: 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