В 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
но я не уверен, как систематически получать эту информацию)