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
28
29
30
31
32
33
34
use crate::*;
pub mod boxing;
pub mod float;
pub mod name;
pub mod st;
pub mod uint16;
pub mod uint32;
pub mod uint64;
pub mod uint8;
pub mod usize_;
pub use boxing::*;
pub use float::*;
pub use name::*;
pub use st::*;
pub use uint16::*;
pub use uint32::*;
pub use uint64::*;
pub use uint8::*;
pub use usize_::*;
#[inline(always)]
pub fn lean_bool_to_uint64(a: u8) -> u64 {
a as u64
}
#[inline(always)]
pub fn lean_ptr_addr(a: b_lean_obj_arg) -> usize {
a as usize
}