forked from GitHub/gf-core
10 lines
211 B
Plaintext
10 lines
211 B
Plaintext
concrete TestEng of Test =
|
|
LiftEng - [MkSymb]
|
|
,LexiconEng - [Pol,Tense]
|
|
,StructuralEng - [Pol,Tense]
|
|
|
|
** open ResEng, PredInstanceEng, Prelude, (Pr = PredEng) in {
|
|
|
|
--flags literal=Symb ;
|
|
}
|