U have looked for a way to find a type definition in an instrumented system, but I did not find anything. For example, if I\'m instrumenting a system S, and I want a the typ
