sig
  val factor_global_expression :
    Typing_context.static_context ->
    Xquery_core_ast.acexpr -> Xquery_core_ast.acexpr
end