• Andrei Paskevich's avatar
    allow printers to produce "urgent output" · c0e146fa
    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
printer.mli 3.96 KB