Skip to main content

nonnull_new_unchecked

rapx::verify::call_summary::fn_simulator

Function nonnull_new_unchecked 

Source 
fn nonnull_new_unchecked(n: &str) -> bool