oxidd_manager_pointer/
lib.rs

1//! Pointer-based manager implementation
2
3//#![warn(missing_docs)]
4#![deny(unsafe_op_in_unsafe_fn)]
5#![allow(clippy::type_complexity)]
6
7pub mod manager;
8pub mod node;
9pub mod terminal_manager;
10pub mod workers;
11
12mod util;
13
14#[cfg(target_pointer_width = "16")]
15compile_error!(
16    "oxidd-manager-pointer assumes that for all `x: u32`, `x as usize` does not truncate"
17);