blob: 0c88eaa8adb28b956d4aa7fe01f0ee45ec423a37 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
interface LexFoods = open Syntax in {
oper
wine_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 ;
}
|