Skip to main content

vampire_add_function

Function vampire_add_function 

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

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