Idiomatic way to get a text representation of a type?

Stream: general

[Greg Shuflin]

What's the idiomatic way to get and print a textual representation of an intermediate data structure - in my case I want to see what a Std.HashMap Nat Nat looks like - for debugging logic? i.e. the sort of thing you'd reach for the Debug trait to print in Rust?

[Eric Wieser]

docs#Repr, docs#ToString, and docs#Lean.ToExpr are all reasonable options

[James Sully]

also docs#dbg_trace

[James Sully]

oop it's a 404. But it's a thing