Module minirust 

Translate a monomorphized ULLBC crate into MiniRust program.

See the manual for known unsupported features.

Modules

intrinsics 🔒

Functions synthesized to implement intrinsics and start the program.

mini 🔒

types 🔒

Macros

check 🔒

raise 🔒

Structs

TranslateCtx 🔒

Enums

RunError

Functions

align_bytes 🔒

mini_align 🔒

mini_int 🔒

mini_size 🔒

name 🔒

run

serialize

size_bytes 🔒

Type Aliases

Result 🔒