Data.SBV.Examples.BitPrecise.PrefixSum
type PowerList a
tiePL
zipPL
unzipPL
ps
lf
flIsCorrect
thm1
thm2
ladnerFischerTrace
scanlTrace