-
Andrei Paskevich authored
this is useful to declare on-the-fly a new sort which replaces a complex type. Otherwise, the printer has to traverse any term twice: first, to detect complex types, second, to print the term.
c0e146fa
this is useful to declare on-the-fly a new sort which replaces a complex type. Otherwise, the printer has to traverse any term twice: first, to detect complex types, second, to print the term.