forked from GitHub/gf-rgl
9 lines
195 B
Plaintext
9 lines
195 B
Plaintext
concrete ExtraEng of ExtraEngAbs = CatEng ** open ResEng in {
|
|
|
|
lin
|
|
GenNP np = {s = \\_ => np.s ! Gen} ;
|
|
EmbedBareS s = s ;
|
|
ComplBareVS v s = insertObj (\\_ => s.s) (predV v) ;
|
|
|
|
}
|