blob: 18578c4d8ebd9d3292e3291f5d08bebc9934afdb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
interface LexFood = open Syntax in {
oper
wine_N : N ;
beer_N : N ;
pizza_N : N ;
cheese_N : N ;
fish_N : N ;
fresh_A : A ;
warm_A : A ;
italian_A : A ;
expensive_A : A ;
delicious_A : A ;
boring_A : A ;
}
|