Function hash_declaration 

pub fn hash_declaration(decl: &ConstantInfo) -> u64

Compute a structural FNV-1a hash of a ConstantInfo declaration.

The hash covers the declaration name, its type expression, and its optional value expression (for definitions/theorems).