Как найти определение desc в исходном коде ocaml?

Question

В исходном коде OCaml 4.07, в typing/typemod.ml, строка 1452:

let type_str_item env srem {pstr_loc = loc; pstr_desc = desc} =

Я не могу найти, где определено desc.Функция type_str_item определена в функции type_structure, но desc не является одним из параметров type_structure.

Я нигде не могу найти его определение, и я собираюсь сопоставить его с шаблоном, поэтому не могу его игнорировать.

Как перемещаться по исходному коду OCaml для поиска определений?

Answer 1

Этот фрагмент кода не использует переменную, он связывает ее посредством сопоставления с образцом.Это шаблон записи, который связывает переменную desc с полем pstr_desc.

Для навигации по источникам ocaml существует инструмент помощи с кодом merlin, который предоставляет возможность перехода к определению для некоторых распространенныхредакторы (а также различные другие функции).Однако это не сильно поможет, поскольку вы уже смотрите на определение desc.