Skip to main content

assert_failed

hax_rust_engine::names::core::panicking

Constant assert_failed 

Source 
pub const assert_failed: GlobalId;
Expand description

This is the function [::core::panicking::assert_failed].