Type Definition clingo_sys::clingo_main_function_t

type clingo_main_function_t = Option<unsafe extern "C" fn(control: *mut clingo_control_t, files: *const *const c_char, size: usize, data: *mut c_void) -> bool>;

Callback to customize clingo main function.

@param[in] control corresponding control object @param[in] files files passed via command line arguments @param[in] size number of files @param[in] data user data for the callback

@return whether the call was successful