Function vampire_atom 

pub unsafe extern "C" fn vampire_atom(
    l: *mut vampire_literal_t,
) -> *mut vampire_formula_t

Create an atomic formula from a literal. @param l The literal @return Formula handle