safa_abi/ffi/
mod.rs

1//! FFI bindings for SafaOS's ABI
2//!
3//! for example exports [`RawSlice<T>`] which is an FFI safe alternative to `&[T]`
4
5pub mod num;
6pub mod option;
7pub mod ptr;
8pub mod slice;
9pub mod str;
10
11/// Defines a trait for types that are invalid when passed as a zero
12pub trait NotZeroable: Sized {
13    fn is_zero(&self) -> bool;
14}