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

Method test_lambda_free_vars

tests/test_z3_ported.py:1363–1369  ·  view source on GitHub ↗

Lambda binds its variable.

(self)

Source from the content-addressed store, hash-verified

1361 assert isinstance(lam._ast.body, LambdaNode)
1362
1363 def test_lambda_free_vars(self):
1364 """Lambda binds its variable."""
1365 x, y = Ints("x y")
1366 lam = Lambda(x, x + y)
1367 names = {n for n, _ in lam._vars}
1368 assert "x" not in names
1369 assert "y" in names
1370
1371
1372# ===================================================================

Callers

nothing calls this directly

Calls 2

IntsFunction · 0.90
LambdaFunction · 0.90

Tested by

no test coverage detected