Module Norm_top

module Norm_top: sig .. end

val aux_preprocess_prolog : Processing_context.processing_context ->
       string list ->
       Xquery_ast.prolog ->
       ((Namespace_names.prefix * string) * string list option *
        Xquery_ast.interface)
       list * Xquery_ast.library_module list

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

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

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

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

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

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

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

val normalize_interface : Norm_context.norm_interface_table * Norm_context.norm_context ->
       Xquery_ast.interface ->
       Norm_context.norm_context * Xquery_core_ast.acinterface

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

val normalize_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_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_module : Norm_context.norm_interface_table * Norm_context.norm_context ->
       Xquery_ast.xmodule -> Norm_context.norm_context * Xquery_core_ast.acxmodule

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

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

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

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