Function read_id 

pub fn read_id<K: Kinds>(v: &ValueRef<'_>, cx: &mut Reader<'_>) -> Option<K::Id>

v as a reference to one of K’s kinds, its id read as K::Id — as written, or as the crate::Resolve rewrote it.