|
|
||||||||||
| PREV LETTER NEXT LETTER | FRAMES NO FRAMES | ||||||||||
Term.Astro.AstroBuilder to pretend to be of type
QuasiBuilder.AstroBuilder in order to represent a quasi-term-tree in
terms of a term tree.
|
|
||||||||||
| PREV LETTER NEXT LETTER | FRAMES NO FRAMES | ||||||||||