forked from GitHub/gf-rgl
13 lines
199 B
Plaintext
13 lines
199 B
Plaintext
concrete ExtraPol of ExtraPolAbs = CatPol ** open ResPol in {
|
|
|
|
lin ProDrop p = {
|
|
nom = [] ;
|
|
voc = p.voc ;
|
|
dep = p.dep ;
|
|
sp = p.sp ;
|
|
n = p.n ;
|
|
p = p.p ;
|
|
g = p.g ;
|
|
} ;
|
|
}
|