Type Alias clingo_sys::clingo_propagator_init_callback_t
source · pub type clingo_propagator_init_callback_t = Option<unsafe extern "C" fn(arg1: *mut clingo_propagate_init_t, arg2: *mut c_void) -> bool>;
Expand description
! Typedef for @ref ::clingo_propagator::init().
Aliased Type§
enum clingo_propagator_init_callback_t {
None,
Some(unsafe extern "C" fn(_: *mut clingo_propagate_init, _: *mut c_void) -> bool),
}