[][src]Type Definition clingo_sys::clingo_propagator_check_callback_t

type clingo_propagator_check_callback_t = Option<unsafe extern "C" fn(arg1: *mut clingo_propagate_control_t, arg2: *mut c_void) -> bool>;

! Typedef for @ref ::clingo_propagator::check().