{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"//"}]}
        //
        // example). Yet we claim this suffices to build a covering set.
        // Let `p` be our pattern. Assume it is found not useful. For a value `v`, if the value was