pub fn primitive_rust_type(name: &str) -> Option<&'static str>Expand description
The canonical kernel-primitive → Rust-type bridge: the SINGLE source of truth
for how the seven opaque kernel primitives lower to Rust. Both the extractor and
any caller that reasons about extractable types consult this, so they can never
disagree on a primitive’s Rust type — the soundness contract that lets imperative
code call a bundled proven function over primitives. None means the name is not
a primitive (it may still be a user inductive or a generic type variable). These
are registered in the StandardLibrary as constructorless inductives, so they have
no enum form and are represented directly by their Rust counterpart.