| 109 | import { beginDormantPop, endDormantPop } from './binding-tombstone.js'; |
| 110 | import { rebindToBindings } from './binders.js'; |
| 111 | import { |
| 112 | isProvisionalCaptureOpen, |
| 113 | noteProvisionalCall, |
| 114 | } from './provisional-application.js'; |
| 115 | // Dynamic import to avoid circular dependency |
| 116 | |
| 117 | /** |
| 118 | * ### THEORY OF OPERATIONS |
| 119 | * |
| 120 | * |
| 121 | * 1/ The result of boxing is canonical by default. |
| 122 | * |
| 123 | * This is the most common need (i.e. to evaluate an expression you need it |
| 124 | * in canonical form). Creating a boxed expression which is canonical from the |