{"ast_node_type":"function","tokens":[{"end":47,"kind":"keyword","start":0,"text":"//"}]}
        // of known relations from the fn ctxt.
        // constraints in the fn signature. To do that, we walk the list
        //