/* invalid syntax:
 * waits for a constructor declaration */

module Foo
imports int String char
abstract syntax

T1 = f(x:T2,y:T1) |