で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
しかし、その情報を体系的に取得する方法がわかりません）