1 2 3 4 5 6 7 8
interface LexRestaurant = open Syntax in { oper restaurant_N : N ; cheap_A : A ; italian_A, thai_A, swedish_A, french_A : A ; konkanok_PN : PN ; }