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

Class _NameNs

tests/test_pattern_match.py:91–92  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

89
90 # Create a simple stand-in for Name type ctors
91 class _NameNs:
92 pass
93
94 NameNs = _NameNs()
95 NameNs.str = _CtorMeta(

Callers 1

test_match_recursiveFunction · 0.85

Calls

no outgoing calls

Tested by 1

test_match_recursiveFunction · 0.68