(self)
| 407 | return ApplyResult([goal]) |
| 408 | |
| 409 | def __repr__(self) -> str: |
| 410 | return f"Simplifier({self._name})" |
| 411 | |
| 412 | |
| 413 | # --------------------------------------------------------------------------- |
nothing calls this directly
no outgoing calls
no test coverage detected