Skip to main content

while_loop

hax_rust_engine::names::rust_primitives::hax

Constant while_loop 

Source 
pub const while_loop: GlobalId;
Expand description

This is the function [::rust_primitives::hax::while_loop].