Function vampire_input_type_name 

pub unsafe extern "C" fn vampire_input_type_name(
    input_type: vampire_input_type_t,
) -> *const c_char

Get the name of an input type. @param input_type The input type @return String name (static, do not free)