proof_name

flux_infer::lean_encoding

Function proof_name 

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