(expr: Expression)
| 71 | predicate: boxed, |
| 72 | // The names the predicate mentions that the assumption is answerable |
| 73 | // for. Read here, on the still-uncanonicalized predicate, because |
| 74 | // canonicalizing it binds every free symbol it mentions. |
| 75 | undeclared: boundAtEntry ? introducibleNames(boxed, boundAtEntry) : [], |
| 76 | }; |
| 77 | } |
| 78 | |
| 79 | /** Box the predicate argument, per the rules described on |
| 80 | * `predicateFromArg`. */ |
| 81 | function boxPredicate( |
no test coverage detected