definition module Sub

from main import :: Expr

:: Expr | (-.) infixl 6 Expr Expr

evalSub :: Expr -> Int
pprintSub :: Expr -> String