sig
  val notyping_type_cexpr :
    Typing_context.static_context ->
    Xquery_core_ast.acexpr -> Typing_context.static_context
  val notyping_type_cstatement :
    Typing_context.static_context ->
    Xquery_core_ast.acstatement -> Typing_context.static_context
  val notyping_type_cprolog :
    Typing_context.static_context ->
    Xquery_core_ast.acprolog -> Typing_context.static_context
  val notyping_type_cxmodule :
    Typing_context.static_context ->
    Xquery_core_ast.acxmodule -> Typing_context.static_context
end