Function builtin_types_rib 

fn builtin_types_rib() -> Rib

The Namespace::TypeNS prelude: builtin Rust types (bool, i32, str, …) together with the sort-only primitive sorts (int, real, Set, Map, ptr). Sorts and types share the type namespace; bool/char/str are resolved as fhir::Res::PrimTy and their sort is derived in conv_sort_path (see fhir::PrimSort).