Function mod_path_of_def 

fn mod_path_of_def(db: &RootDatabase, def: Definition) -> Option<String>