path: root/test.toc

s ::= fn(t:: Type) Type {
	struct {
		m: t;
	}
}

main ::= fn() {
	o: s(int);
	x := o.m;
}