sig
  val normalize_expr :
    Norm_context.norm_context ->
    Xquery_ast.expr ->
    Xquery_core_ast.acfunction_def list * Xquery_core_ast.acexpr
end