Diagrams for types and interfaces

Hi all, I’m curious if anyone has any experience (and ideally, examples) of using a formal diagramming language in Julia to describe types and interfaces. Many complex ecosystems (SciML, Turing.jl, JuMP.jl) define a lot of types and have informal interfaces throughout which advanced users might want to hook into. However without diagrams, it takes a lot of reading (and for me, manual diagramming, informally mapping the type relationships) before one is able to start to figure out how to write ty...