Module Typing_errors

module Typing_errors: sig .. end

val raise_wrong_expected_type_error : Typing_context.static_context ->
       Xquery_type_core_ast.cxtype ->
       Xquery_type_core_ast.cxtype -> Xquery_type_core_ast.cxtype

val raise_axis_type_error : Typing_context.static_context ->
       Xquery_common_ast.axis ->
       Xquery_type_core_ast.cxtype -> Xquery_type_core_ast.cxtype

val raise_empty_type_error : Typing_context.static_context ->
       Xquery_core_ast.acexpr ->
       Xquery_type_core_ast.cxtype -> Xquery_type_core_ast.cxtype

val raise_none_type_error : Typing_context.static_context ->
       Xquery_core_ast.acexpr ->
       Xquery_type_core_ast.cxtype -> Xquery_type_core_ast.cxtype

val check_type_replace : Typing_context.static_context ->
       Xquery_type_core_ast.cxtype ->
       Xquery_type_core_ast.cxtype -> Xquery_type_core_ast.cxtype

val check_type_discard : Typing_context.static_context ->
       Xquery_type_core_ast.cxtype ->
       Xquery_type_core_ast.cxtype -> Xquery_type_core_ast.cxtype

val check_type_ignore : Typing_context.static_context ->
       Xquery_type_core_ast.cxtype -> Xquery_type_core_ast.cxtype -> unit

val check_type_branch : Typing_context.static_context ->
       Xquery_type_core_ast.cxtype ->
       Xquery_type_core_ast.cxtype ->
       Xquery_type_core_ast.cxtype -> Xquery_type_core_ast.cxtype

val check_empty_type : Typing_context.static_context ->
       Xquery_type_core_ast.cxtype ->
       Xquery_core_ast.acexpr -> Xquery_type_core_ast.cxtype

val check_type_declaration : Typing_context.static_context ->
       Xquery_type_core_ast.cxtype ->
       (Xquery_core_ast.csequencetype * Xquery_type_core_ast.cxtype) option ->
       Xquery_type_core_ast.cxtype