Function format_detailed 

pub fn format_detailed(t: &DataType, state: &State<'_>) -> SmolStr

Renders a DataType the way a program spells it.

This is what the type builtin hands back, so its output is a string the program can read, and every part of it is written the way the same type would be written in source: any for the dynamic slot, a struct or an enum by the name it was declared under, and a function as fn(int) -> int.

Names are resolved against the compiler State by Struct/Fn id. The plain Display impl (in candela-vm) has no State, so it renders those variants opaquely; a diagnostic names them through TypeNames instead.