// "bool-or-test-c.hac"
// copy-modified from "bool-or-test-a.hac"
//	$Id: bool-or-test-c.hac,v 1.1 2007/08/09 05:49:45 fang Exp $
// testing relaxed template parameters on chp definitions

import "testlib/bool-source.hac";
import "testlib/bool-or.hac";
import "testlib/bool-sink.hac";

chan(bool) In[3];
chan(bool) Out;

bool_or<3> A(In, Out);

bool_source S[3];	// relaxed array

// bind parameters
S[0]<1,{false}>;
S[1]<3,{false,false,true}>;
S[2]<4,{true,false,false,false}>;

// loop connection
(;i:3: S[i](In[i]); )

bool_sink Z(Out);

