Module lean_sys::primitive

Primitive operations

Re-exports

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_::*;

Modules

boxing

Boxing primitives

float

name

Name primitives

st

ST Ref primitives

uint8

uint16

uint32

uint64

usize_

Functions

lean_bool_to_uint64

lean_ptr_addr

pointer address unsafe primitive