Function vampire_constant 

pub unsafe extern "C" fn vampire_constant(
    functor: c_uint,
) -> *mut vampire_term_t

Create a constant term (0-arity function application). @param functor Function symbol index from vampire_add_function @return Term handle