Check if this is a sort
(&self)
| 164 | |
| 165 | /// Check if this is a sort |
| 166 | pub fn is_sort(&self) -> bool { |
| 167 | matches!(self.kind, TermKind::Sort(_)) |
| 168 | } |
| 169 | |
| 170 | /// Check if this is a variable |
| 171 | pub fn is_var(&self) -> bool { |
nothing calls this directly
no outgoing calls
no test coverage detected