sig
  val build_phase_handler :
    Procmod_types.parsing_phase_handler ->
    Procmod_types.preprocessing_phase_handler ->
    Procmod_types.normalization_phase_handler ->
    Procmod_types.rewriting_phase_handler ->
    Procmod_types.factorization_phase_handler ->
    Procmod_types.compile_phase_handler ->
    Procmod_types.optimization_phase_handler ->
    Procmod_types.selection_phase_handler ->
    Procmod_types.evaluation_phase_handler -> Procmod_types.phase_handler
  val phase_handler_of_processing_context :
    Processing_context.processing_context -> Procmod_types.phase_handler
end