Skip to main content

arr_ext_reverse_size_ty

oxilean_std::array::functions

Function arr_ext_reverse_size_ty 

Source 
pub fn arr_ext_reverse_size_ty() -> Expr
Expand description

Array.reverse_size : ∀ {α n}, Array α n → Prop

Reversal preserves size: size (reverse a) = size a.