Function vampire_add_function 

pub unsafe extern "C" fn vampire_add_function(
    name: *const c_char,
    arity: c_uint,
) -> c_uint

Register a function symbol with the given name and arity. For constants, use arity 0. @param name Symbol name (null-terminated string) @param arity Number of arguments @return functor index for use in term construction