{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"lt_op:"}]}
                    lt_op: |lt| lt,
                    ty_op: |ty| if ty == proj_ty { proj_term } else { ty },
                    ct_op: |ct| ct,