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