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

Function is_seq

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

Source from the content-addressed store, hash-verified

4112
4113
4114def is_seq(a: object) -> bool:
4115 return isinstance(a, StringRef)
4116
4117
4118def is_re(a: object) -> bool:

Callers 1

test_is_seqMethod · 0.90

Calls

no outgoing calls

Tested by 1

test_is_seqMethod · 0.72