pub type PuncturedRange = [Fp; 3];Expand description
A punctured range [nf_lo, nf_mid, nf_hi] representing the interval
(nf_lo, nf_hi) \ {nf_mid} — two adjacent gaps joined by excluding the
nullifier between them.
With K=2, each leaf stores three sorted nullifier boundaries. The leaf
commitment is Poseidon3(nf_lo, nf_mid, nf_hi).