pub type Identify = fn(&ResolvedProgram, Arc<Vec<Spanned>>, Option<String>) -> Identified;Expand description
Given a checked program, its lowered tree and the key of the entry’s
main if it has one: each definition key with its def_hash, and
receipt::RUN with the run’s, computed only when first asked.
blue-lang-mondou computes it; this crate only calls it.