AlgebraicDataflowArchitectureModel / AlgebraicDataflowArchitectureModel / models / Accounts.model

channel CIO1 {
	out accounts(l:List, signup(name:Str)) == append(l, name)
}

channel CIO2(uid:Int) {
	out accounts.{uid}(n:Str, changeName(name)) == name
}