HomePhabricator

[DAG] Pull out getTruncatedUSUBSAT helper from foldSubToUSubSat. NFCI.

Authored by RKSimon on Feb 17 2021, 4:17 AM.

Description

[DAG] Pull out getTruncatedUSUBSAT helper from foldSubToUSubSat. NFCI.

This will simplify an incoming generic implementation of D25987.

I'll rebase D96703 shortly to support this.

Details

Committed
RKSimonFeb 17 2021, 4:17 AM
Parents
rG05c64ea6722b: [DAG] Fold shuffle(bop(shuffle(x,y),shuffle(z,w)),bop(shuffle(a,b),shuffle(c…
Branches
Unknown
Tags
Unknown