[−][src]Type Definition clingo_sys::clingo_default_model_printer_t
type clingo_default_model_printer_t = Option<unsafe extern "C" fn(data: *mut c_void) -> bool>;
Callback to print a model in default format.
@param[in] data user data for the callback
@return whether the call was successful