(self, i: int)
| 994 | return 0 |
| 995 | |
| 996 | def arg_value(self, i: int) -> Any: |
| 997 | raise NotImplementedError( |
| 998 | "Model extraction not supported: Lean cannot produce counter-models" |
| 999 | ) |
| 1000 | |
| 1001 | def value(self) -> Any: |
| 1002 | raise NotImplementedError( |
nothing calls this directly
no outgoing calls
no test coverage detected