hgom-0.5.1: test/data/t1_3.gom

module Foo
imports T2
abstract syntax

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