| Commit message (Collapse) | Author | Age |
|---|
| |\ |
|
| | |
| |
| |
| |
| |
| |
| | |
In general we want to avoid this as much as we can, as it will need to
make choices regarding the output backend (width, etc...) and it is
expensive. It is better to serve the printing backends the pretty
print document itself.
|
| |/ |
|
| |
|
|
|
| |
We return an option type, as constraints were always dropped if the boolean
was false. They did not make much sense anyway.
|
| | |
|
|
|
Before this patch, this module was a member of the library folder, which had
little to do with its actual use. A tiny part relative to global registering
of universe names has been effectively moved to the Global module.
|
Maxime Dénès
Emilio Jesus Gallego Arias
Pierre-Marie Pédrot