Type Alias clingo_sys::clingo_ast_callback_t

pub type clingo_ast_callback_t = Option<unsafe extern "C" fn(ast: *mut clingo_ast_t, data: *mut c_void) -> bool>;

! Callback function to intercept AST nodes. ! ! @param[in] ast the AST ! @param[in] data a user data pointer ! @return whether the call was successful

Aliased Type

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

Variants

None

No value.

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

Some value of type T.