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

Method test_lambda_multi_var

tests/test_z3_compat.py:1095–1102  ·  view source on GitHub ↗
(self)

Source from the content-addressed store, hash-verified

1093 assert lam._ast.name == "x"
1094
1095 def test_lambda_multi_var(self):
1096 x, y = Ints("x y")
1097 lam = Lambda([x, y], x + y)
1098 assert isinstance(lam._ast, LambdaNode)
1099 # Nested: outer is x, inner is y
1100 assert lam._ast.name == "x"
1101 assert isinstance(lam._ast.body, LambdaNode)
1102 assert lam._ast.body.name == "y"
1103
1104 def test_lambda_free_vars(self):
1105 x, y = Ints("x y")

Callers

nothing calls this directly

Calls 2

IntsFunction · 0.90
LambdaFunction · 0.90

Tested by

no test coverage detected