Module panic 

Runtime panic helper whose type (-> !) lets Verus discharge post-conditions by branch elimination at the call site.

Traits

UnwrapOrPanic

Extension trait providing a panicking unwrap that models Rust’s real Option::unwrap semantics.

Functions

may_panic

panic_diverge