Module vstd::array

Traits

• ArrayAdditionalExecFns
• ArrayAdditionalSpecFns

Functions

• array_index_get
• array_len_matches_n
• array_view
• axiom_spec_array_as_slice
• axiom_spec_array_fill_for_copy_type
• ex_array_as_slice
• group_array_axioms
• lemma_array_index
• spec_array_as_slice
• spec_array_fill_for_copy_type