sig
  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
end