Skip to content

Only return first result for type_enclosing.#1196

Merged
rgrinberg merged 2 commits intoocaml:masterfrom voodoos:print-only-first-type-resultOct 3, 2023

Commits

Commits on Oct 3, 2023