Function vampire_imp 

pub unsafe extern "C" fn vampire_imp(
    lhs: *mut vampire_formula_t,
    rhs: *mut vampire_formula_t,
) -> *mut vampire_formula_t

Create an implication (f1 => f2). @param lhs The antecedent @param rhs The consequent @return Formula handle