pub fn blast_size(e: &BoundedExpr) -> Option<BlastSize>Expand description
What blasting e costs — gates allocated vs. ProofExpr nodes a materialisation would hold —
without materialising it. None when e has no circuit. The instrument the budget reads, and
the one a lock reads to prove the blast stays linear in the datapath.