Skip to main content

mk_bitvec_sub

oxilean_std::bitvec::functions

Function mk_bitvec_sub 

Source 
pub fn mk_bitvec_sub(a: Expr, b: Expr) -> Expr
Expand description

Build BitVec.sub a b (implicit n).