Previous
Up
Module
Evaluator
module
Evaluator:
sig
..
end
Evaluator for LogLog programs.
module
Evaluator
:
sig
..
end
Evaluation module.