Type Definition clingo_sys::clingo_propagator_undo_callback_t

type clingo_propagator_undo_callback_t = Option<unsafe extern "C" fn(_: *mut clingo_propagate_control_t, _: *const clingo_literal_t, _: usize, _: *mut c_void) -> bool>;

Typedef for @ref ::clingo_propagator::undo().