{"ast_node_type":"import","tokens":[{"end":69,"kind":"keyword","start":0,"text":"//"}]}
    // Subtle point: because we disallow nested bindings, we can just
    //
    // ignore binders here and scrape up all names we see.