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

Function _have

tests/test_memory.py:25–30  ·  view source on GitHub ↗
(mod: str)

Source from the content-addressed store, hash-verified

23
24
25def _have(mod: str) -> bool:
26 try:
27 importlib.import_module(mod)
28 return True
29 except ImportError:
30 return False
31
32
33def test_int_round_trip_no_leak(example_lib):

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected