{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"//"}]}
                    // Check that b_ty's projection is satisfied by exactly one of
                    }
                    // a_ty's projections. First, we look through the list to see if