#lang brag
top : x | y
/x : Ø | "x" @x
@y : Ø | "y" y