Function result_id 

pub fn result_id(target_lean: &str, files: &BTreeMap<String, String>) -> String

The result identity of a logos-lean-package/1 package: the target and every non-manifest file’s path and digest.