| 04:05 | <devsnek> | is Completion() as a call defined anywhere |
| 04:13 | <jmdyck> | https://tc39.es/ecma262/#sec-implicit-completion-values |
| 04:13 | <jmdyck> | The abstract operation Completion(completionRecord) ... |
| 04:17 | <devsnek> | maybe we could move that up to where Completion links to |
| 04:22 | <jmdyck> | problem when an abstract op has the same name as a type |
| 04:25 | <jmdyck> | but yeah it's weird that we give notational conventions for Completion Records well before we define Completion Records |