1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

//! Builtin value types.

use hazardflow_macro::magic;

use crate::prelude::*;

mod array;
mod bounded;
mod option;
mod sint;
mod uint;

pub use array::*;
pub use bounded::*;
pub use option::*;
pub use sint::*;
pub use uint::*;

/// Don't care value.
///
/// # Safety
///
/// TODO: Write safety condition
#[magic(x)]
pub unsafe fn x<T: Copy>() -> T {
    compiler_magic!()
}