Skip to main content

array_from_seq

vest_lib::combinators::bytes::spec

Function array_from_seq 

Source 
pub uninterp spec fn array_from_seq<const N: usize, T>(s: Seq<T>) -> [T; N]
Expand description
recommends
s.len() == N,