< x = 3 | y : Bool >