definition module eval

from test import :: DSL

eval :: DSL -> Int