Type Alias clingo_sys::clingo_default_model_printer_t

pub 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

Aliased Type

enum clingo_default_model_printer_t {
    None,
    Some(unsafe extern "C" fn(_: *mut c_void) -> bool),
}

Variants

None

No value.

Some(unsafe extern "C" fn(_: *mut c_void) -> bool)

Some value of type T.