Function clingo_sys::clingo_ast_unpool

pub unsafe extern "C" fn clingo_ast_unpool(
    ast: *mut clingo_ast_t,
    unpool_type: clingo_ast_unpool_type_bitset_t,
    callback: clingo_ast_callback_t,
    callback_data: *mut c_void
) -> bool

! Unpool the given AST. ! ! @param[in] ast the target AST ! @param[in] unpool_type what to unpool ! @param[in] callback the callback to report ASTs ! @param[in] callback_data user data for the callback ! @return whether the call was successful; might set one of the following error codes: ! - ::clingo_error_bad_alloc