pub fn dependencies(entry: &Decl) -> HashSet<String>
Declarations every declaration refers to (types, functions, constructors, lemmas).