-
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
Prochaines maintenances programmées: lundi 06/05, lundi 03/06, lundi 01/07
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
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.