(&mut self, p: Primitives<M>)
| 456 | self.whnf_no_delta, |
| 457 | self.whnf_no_delta_cheap, |
| 458 | self.whnf_core, |
| 459 | self.whnf_core_cheap, |
| 460 | self.infer, |
| 461 | self.infer_only, |
| 462 | self.def_eq, |
| 463 | self.def_eq_cheap, |
no outgoing calls
no test coverage detected