In utop, can I get the source location for the definition of the type, say, result ?
utop # #show_type result;;
type nonrec ('a, 'b) result = ('a, 'b) result = Ok of 'a | Error of 'b
(defined in pervasives
Result type
type ('a, 'b) result =
| Ok of 'a
| Error of 'b
Since 4.03.0
but I am not sure how to get that info systematically)