Skip to main content

vampire_term

Function vampire_term 

Source
pub unsafe extern "C" fn vampire_term(
    functor: c_uint,
    args: *mut *mut vampire_term_t,
    arg_count: usize,
) -> *mut vampire_term_t
Expand description

Create a function application term. @param functor Function symbol index from vampire_add_function @param args Array of argument terms @param arg_count Number of arguments @return Term handle