Skip to main content

mk_iff

Function mk_iff 

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

Build Iff a b.