< x = y | y : B | z >