ocaml - 来自 utop 的类型定义的源位置

Question

在utop中，我可以获得类型定义的源位置，例如，result？

utop # #show_type result;;
type nonrec ('a, 'b) result = ('a, 'b) result = Ok of 'a | Error of 'b

（在普遍性中定义

Result type
type ('a, 'b) result = 
|   Ok of 'a
|   Error of 'b
Since 4.03.0

但我不确定如何系统地获取该信息）