GitBucket
channel CIO1{
out star(s:Tuple, timePasses(nil)) == tuple(starType:Str, tuple(years:Int,mass:Int))
}
GitBucket
channel CIO1{
out star(s:Tuple, timePasses(nil)) == tuple(starType:Str, tuple(years:Int,mass:Int))
}