arrabbiata::decider

Module verifier

Source
Expand description

A verifier for the folding/accumulation scheme