Skip to main content

vampire_iff

vampire_sys

Function vampire_iff 

Source 
pub unsafe extern "C" fn vampire_iff(
    lhs: *mut vampire_formula_t,
    rhs: *mut vampire_formula_t,
) -> *mut vampire_formula_t
Expand description

Create an equivalence (f1 <=> f2). @param lhs Left-hand side @param rhs Right-hand side @return Formula handle