withoutCyclePositions
A definition's IR without the positions of the cycle members it refers to.
export const withoutCyclePositions = (ir: string) => ir.replace(/\["Cyc","\d+"\]/g, '["Cyc"]')
A definition's IR without the positions of the cycle members it refers to.
export const withoutCyclePositions = (ir: string) => ir.replace(/\["Cyc","\d+"\]/g, '["Cyc"]')