tiltsys/evaluator.als

4 lines
43 B
Plaintext

module tiltsys/evaluator
sig Evaluator {}