(&self, variable: Var)
| 518 | } |
| 519 | |
| 520 | fn binds(&self, variable: Var) -> Option<usize> { |
| 521 | self.variables.binds(variable) |
| 522 | } |
| 523 | |
| 524 | fn ready_to_extend(&self, _prefix: &AsBinding) -> Option<Var> { |
| 525 | unimplemented!(); |
no outgoing calls
no test coverage detected