/* A and B not declared */

module Foo
imports int String

abstract syntax

T = f(x:A,y:B)