AlgebraicDataflowArchitectureModel / AlgebraicDataflowArchitectureModel / models / Hello2.model

channel cio {
	 out r1(x1:Int,set(x2:Int)) == x2:Int
}