Function clingo_sys::clingo_backend_theory_term_function

pub unsafe extern "C" fn clingo_backend_theory_term_function(
    backend: *mut clingo_backend_t,
    name: *const c_char,
    arguments: *const clingo_id_t,
    size: usize,
    term_id: *mut clingo_id_t
) -> bool

! Add a theory term representing a function. ! ! @param[in] backend the target backend ! @param[in] name the name of the function ! @param[in] arguments an array of term ids for the theory terms in the arguments ! @param[in] size the number of arguments ! @param[out] term_id the resulting term id ! @return whether the call was successful; might set one of the following error codes: ! - ::clingo_error_bad_alloc