Purity Analysis

n → seed
n → property
n → ord
n → core
n → ordsum
n → coresum
Combined View
nseedPropertyThresholdordcoreτcoresumordsumcoreseqordseq