forked from GitHub/gf-rgl
13 lines
307 B
Plaintext
13 lines
307 B
Plaintext
incomplete concrete ExtraScand of ExtraScandAbs = CatScand ** open CommonScand,ResScand in {
|
|
|
|
lin
|
|
GenNP np = {
|
|
s = \\n,_,g => np.s ! NPPoss (gennum g n) ;
|
|
det = DDef Indef
|
|
} ;
|
|
|
|
EmbedBareS s = {s = s.s ! Sub} ;
|
|
ComplBareVS v s = insertObj (\\_ => s.s ! Sub) (predV v) ;
|
|
|
|
}
|