MCPcopy Create free account
hub / github.com/BasisResearch/lean.py / is_pattern

Function is_pattern

lean_py/z3/core.py:4157–4158  ·  view source on GitHub ↗
(a: object)

Source from the content-addressed store, hash-verified

4155
4156
4157def is_pattern(a: object) -> bool:
4158 return False
4159
4160
4161def is_arith_sort(s: object) -> bool:

Callers 1

test_is_patternMethod · 0.90

Calls

no outgoing calls

Tested by 1

test_is_patternMethod · 0.72