当我按下
如果有一种简单的方法可以直接跳转到.ml文件中的定义,或者在.mli和.ml之间切换时以某种方式定位到相应的函数位置,那就太好了。
M-.
或C-c C-l
时,通常会跳转到.mli文件中函数的声明。往往有一个相关的.ml文件,可以使用C-c C-a
切换到该文件,但是,我必须手动搜索其中这个函数的实现。如果有一种简单的方法可以直接跳转到.ml文件中的定义,或者在.mli和.ml之间切换时以某种方式定位到相应的函数位置,那就太好了。