Module hax

Hax additions

Modules

control_flow_monad 🔒

folds 🔒

int 🔒

machine_int 🔒

monomorphized_update_at 🔒

Structs

Failure 🔒

Tuple2 🔒

Enums

MutRef 🔒

Never 🔒

Functions

array_of_list 🔒

box_new 🔒

cast_op 🔒

deref_op 🔒

dropped_body 🔒

The engine uses this dropped_body symbol as a marker value to signal that a item was extracted without body.

failure 🔒

logical_op_and 🔒

logical_op_or 🔒

never_to_any 🔒

repeat 🔒

update_at 🔒

while_loop 🔒

while_loop_cf 🔒

while_loop_return 🔒