Skip to main content

bvx_ext_reverse_ty

oxilean_std::bitvec::functions

Function bvx_ext_reverse_ty 

Source 
pub fn bvx_ext_reverse_ty() -> Expr
Expand description

Build type for reverse : {n : Nat} → BitVec n → BitVec n.