Idea: Standard OCaml runtime type representation

[lukstafi]

@octachron

Thinking out loud, as anyone ever tried to write a debug library generator that would generate debug functions from installed cmi files à la odig? After all, for non-abstract types, there is no need in general to couple debug functions generation with the initial parsing of source files.

There’s dariusf/ppx_debug: Tools for record-and-replay debugging (github.com).
It does parse source files but relies on compile-time type information.