place_debug

rapx::verify::smt_check::typed

Function place_debug 

Source 
fn place_debug(place: &PlaceKey) -> String
Expand description

Return a compact label for a verifier place.