Intern a universe through the mutable intern environment.
(&mut self, u: KUniv<M>)
| 973 | result |
| 974 | } |
| 975 | |
| 976 | // ----------------------------------------------------------------------- |
| 977 | // Interning helper |
| 978 | // ----------------------------------------------------------------------- |
| 979 | |
| 980 | /// Check if expression is of the form `eagerReduce _ _` (2 args applied to the eagerReduce const). |
no outgoing calls
no test coverage detected