place_name

rapx::verify::smt_check::common

Function place_name 

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

Stable SMT variable name for a place key.