Skip to main content

mk_eq

oxilean_std::bitvec::functions

Function mk_eq 

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

Build Eq @{} ty a b.