sig
  val type_cexpr :
    Typing_context.static_context ->
    Xquery_core_ast.acexpr -> Xquery_type_core_ast.cxtype
  val type_cexpr_with_replace :
    Typing_context.static_context ->
    Xquery_core_ast.acexpr ->
    Xquery_type_core_ast.cxtype -> Xquery_type_core_ast.cxtype
end