1
0
forked from GitHub/gf-rgl
Files
gf-rgl/src/polish/ExtraPol.gf
2009-10-23 12:44:58 +00:00

4 lines
58 B
Plaintext

--concrete ExtraPol of ExtraPolAbs = CatPol ** {
--
-- }