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