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