const_param_name_from_debug

rapx::verify::smt_check::common

Function const_param_name_from_debug 

Source 
fn const_param_name_from_debug(text: &str) -> Option<String>
Expand description

Extract a const generic parameter name, e.g. Param(N) → "N".