Function vampire_clause 

pub unsafe extern "C" fn vampire_clause(
    literals: *mut *mut vampire_literal_t,
    count: usize,
    input_type: vampire_input_type_t,
) -> *mut vampire_clause_t

Create a clause with specified input type. @param literals Array of literals @param count Number of literals @param input_type The type of input @return Clause handle