Function decode_verified 

pub fn decode_verified(
    bytes: &[u8],
    limits: &DecodeLimits,
) -> Result<Module<Verified>, LoadError>

Decodes and verifies in one boundary operation.

Errors

Returns LoadError::Decode for malformed bytes or LoadError::Verify for a structurally invalid module.