sig
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
end