x :: {Boolean; Boolean} = {3;4}