vstd::tokens::seq

Function seq_to_map

Source 
pub open spec fn seq_to_map<V>(s: Seq<V>, off: int) -> Map<int, V>
Expand description
{ Map::new(|i: int| off <= i < off + s.len(), |i: int| s[i - off]) }