Function generalized_zone_valid 

pub exec fn generalized_zone_valid<const DER: bool>(
    bytes: &[u8],
    zone_start: usize,
) -> bool

requires

zone_start <= bytes.len(),

returns

generalized_zone_wf::<DER>(bytes@, zone_start),

Verified executable implementation of generalized_zone_wf.