test.dcl

   1 definition module test
   2
   3 :: In a b = In infix 0 a b
   4 :: DSL
   5         = Lit Int
   6         | Var (DSL -> In Int DSL)
   7         | (+.) infixl 6 DSL DSL
   8         | ..