Skip to main content

Module intrinsics

charon_lib::minirust

Module intrinsics 

Source
Expand description

Functions synthesized to implement intrinsics and start the program.

Structs§

FunctionBuilder 🔒

Enums§

UnwindSource 🔒