Skip to main content

real_bytes_wf_exec

vest_lib::asn1::real

Function real_bytes_wf_exec 

Source 
pub exec fn real_bytes_wf_exec<const DER: bool>(bytes: &[u8]) -> ok : bool
Expand description
ensures
ok == real_bytes_wf::<DER>(bytes@),