Module Norm_ident_top

module Norm_ident_top: sig .. end

val preprocess_ident_prolog : Processing_context.processing_context ->
       Xquery_ast.prolog ->
       Norm_context.norm_interface_table * Xquery_ast.library_module list

val preprocess_ident_library_module : Processing_context.processing_context ->
       Xquery_ast.library_module ->
       Norm_context.norm_interface_table * Xquery_ast.library_module list

val preprocess_ident_main_module : Processing_context.processing_context ->
       Xquery_ast.main_module ->
       Norm_context.norm_interface_table * Xquery_ast.library_module list

val normalize_ident_statement : Norm_context.norm_context ->
       Xquery_ast.statement -> Xquery_core_ast.acstatement

val normalize_ident_prolog : Norm_context.norm_interface_table * Norm_context.norm_context ->
       Xquery_ast.prolog -> Norm_context.norm_context * Xquery_core_ast.acprolog

val normalize_ident_library_module : Norm_context.norm_interface_table * Norm_context.norm_context ->
       Xquery_ast.library_module ->
       Norm_context.norm_context * Xquery_core_ast.acxmodule

val normalize_ident_main_module : Norm_context.norm_interface_table * Norm_context.norm_context ->
       Xquery_ast.main_module ->
       Norm_context.norm_context * Xquery_core_ast.acxmodule

val normalize_ident_module : Norm_context.norm_interface_table * Norm_context.norm_context ->
       Xquery_ast.xmodule -> Norm_context.norm_context * Xquery_core_ast.acxmodule