Disable codeLens?

[sofurihafe]

Is there a way to disable codeLens (types over definitions)?

[mnxn]

#480 (comment)

There is a VSCode setting to disable it (from settings.json):

"editor.codeLens": false

Or if you only want to disable it for OCaml:

"[ocaml]": {
	"editor.codeLens": false
}

You can also search for "code lens" in the VSCode settings tab and there will be a checkbox you can untick to disable it: