blob: f9c263e93d9e3f0f1d89b35d955c13706f293ea6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
|
interface LexEditor = open Syntax in {
oper
-- Sentences
singleWordCommand_Utt : V -> Utt ;
command_Utt : V -> Det -> A -> N -> Utt ;
randomlyCommand_Utt : V -> Det -> N -> Utt ;
label_Utt : N -> Utt ;
errorMessage_Utt : A -> N -> Utt ;
-- Verbs
undo_V : V ;
redo_V : V ;
cut_V : V ;
copy_V : V ;
paste_V : V ;
delete_V : V ;
refine_V : V ;
replace_V : V ;
wrap_V : V ;
select_V : V ;
enter_V : V ;
show_V : V ;
-- Nouns
language_N : N ;
node_N : N ;
tree_N : N ;
refinement_N : N ;
wrapper_N : N ;
string_N : N ;
page_N : N ;
danish_N : N ;
english_N : N ;
finnish_N : N ;
french_N : N ;
german_N : N ;
italian_N : N ;
norwegian_N : N ;
russian_N : N ;
spanish_N : N ;
swedish_N : N ;
-- Adjectives
noAdj_A : A ;
available_A : A ;
next_A : A ;
previous_A : A ;
-- Determiners
defSg_Det : Det ;
defPl_Det : Det ;
indefSg_Det : Det ;
indefPl_Det : Det ;
this_Det : Det ;
}
|
