// "086.hac" should pass -- testing port connections with user-defined types

defchan fake_chan <: chan(int) (int d; bool e) {
	send { }
	recv { }
}

defproc chan_proc(fake_chan L, R) { }

fake_chan X, Y;

chan_proc P(X, Y);

