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