Skip to content

Take expansion's doc when computing a declaration's synopsis#643

Merged
jonludlam merged 5 commits intoocaml:masterfrom Julow:module-decl-synopsisMar 25, 2021