pub fn reference_declaration( export: &str, declaration: &str, ) -> Result<ReferenceDeclaration, Verdict>
The whole reference reading of one declaration: kernel name, kind, universe parameters and type.