Function assert_

Source
fn assert_<Z: ZkappApplication>(b: Z::Bool, s: &str) -> Result<(), String>