Function vampire_lit 

pub unsafe extern "C" fn vampire_lit(
    pred: c_uint,
    positive: bool,
    args: *mut *mut vampire_term_t,
    arg_count: usize,
) -> *mut vampire_literal_t

Create a predicate literal. @param pred Predicate symbol index from vampire_add_predicate @param positive true for positive literal, false for negated @param args Array of argument terms @param arg_count Number of arguments @return Literal handle