Type Alias ModularSha256VerifierTop 

pub type ModularSha256VerifierTop = VerifierTop<ExternalFullCompressionLane>;

Production verifier skeleton linked with one separately generated lane type.

Only the complete ordinary VerifierCluster is replicated. Its direct external lane child remains unresolved until the separately generated RHDL lane artifact is supplied to an external parser.

Aliased Type

pub struct ModularSha256VerifierTop { /* private fields */ }