在utop中，我可以获取类型定义的源位置，例如result吗？
utop # #show_type result;;
type nonrec ('a, 'b) result = ('a, 'b) result = Ok of 'a | Error of 'b
（在pervasives中定义
Result type
type ('a, 'b) result =
| Ok of 'a
| Error of 'b
Since 4.03.0
但是我不确定如何系统地获取该信息）