Function vampire_eq 

pub unsafe extern "C" fn vampire_eq(
    positive: bool,
    lhs: *mut vampire_term_t,
    rhs: *mut vampire_term_t,
) -> *mut vampire_literal_t

Create an equality literal (s = t or s != t). @param positive true for equality, false for disequality @param lhs Left-hand side term @param rhs Right-hand side term @return Literal handle