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