module Procmod_types:sig
..end
type
parsing_phase_handler = {
|
parse_statement : |
|
parse_prolog : |
|
parse_library_module : |
|
parse_main_module : |
type
preprocessing_phase_handler = {
|
preprocess_prolog : |
|
preprocess_library_module : |
|
preprocess_main_module : |
type
normalization_phase_handler = {
|
normalize_statement : |
|
normalize_prolog : |
|
normalize_library_module : |
|
normalize_main_module : |
type
rewriting_phase_handler = {
|
rewriting_statement : |
|
rewriting_prolog : |
|
rewriting_library_module : |
|
rewriting_main_module : |
type
factorization_phase_handler = {
|
factorize_statement : |
|
factorize_prolog : |
|
factorize_library_module : |
|
factorize_main_module : |
type
compile_phase_handler = {
type
optimization_phase_handler = {
type
selection_phase_handler = {
type
evaluation_phase_handler = {
|
eval_statement : |
|
eval_prolog : |
|
eval_library_module : |
|
eval_main_module : |
type
phase_handler = {
|
parsing_phase : |
|
preprocessing_phase : |
|
normalization_phase : |
|
rewriting_phase : |
|
factorization_phase : |
|
compile_phase : |
|
optimization_phase : |
|
selection_phase : |
|
evaluation_phase : |