Function is_checked_get 

pub fn is_checked_get(mangled: &MangledName) -> bool

Whether mangled is this package’s checked read. Matching the package-export mangled name rather than a receiver name is what makes the typechecker’s rewrite independent of how the symbol was imported — session.get, kv.get under an aliased namespace import, and a named-import get all carry this name, while a user’s own session binding never can.