vc_name

flux_infer::lean_encoding

Function vc_name 

Source 
fn vc_name(genv: GlobalEnv<'_, '_>, def_id: DefId) -> String