()
| 1693 | assert!(args[0].hash_eq(&a)); |
| 1694 | assert!(args[1].hash_eq(&b)); |
| 1695 | assert!(args[2].hash_eq(&c)); |
| 1696 | } |
| 1697 | |
| 1698 | #[test] |
| 1699 | fn expr_mentions_addr_finds_const() { |
| 1700 | let target_id = mk_id("target"); |
| 1701 | let target = cnst("target", &[]); |
| 1702 | // Deep embedding: λ x. app target (var 0) |