grammars/video/all.gf


1
2
3
4
5
6
7
8
9
10
11
12
13

-- wrapper module containing both User's and System's grammars. AR 16/9/2004

abstract all = specUser,specSystem **  {

-- Suggestion: use different categories for system's and user's moves
-- and bring them together only here; now both use DMove

-- cat Move ;
-- fun userMove   : UMove -> Move ;
-- fun systemMove : SMove -> Move ;

} ;