Do not report elements of code defined in module types - #92

Open

fantazio wants to merge 10 commits into

LexiFi:masterfrom

fantazio:enhance_sig

Commits on Aug 6, 2026

[src][deadSign] extract `collect_export`
fantazio
committed
fcc249d
[src][deadSign] add `collect_export_from_typedtree`
fantazio
committed
175d0ed
[src] use cmti signature
fantazio
committed
17f7c21
[src][deadSign] simplify collect_export_from_typedtree
fantazio
committed
8245145
[src] identify and correct wrong exports
fantazio
committed
f71a6cd
[docs][limitations] merge modtype
fantazio
committed
934145c
[src] change `in_modtype` to `implicit_decs`
fantazio
committed
bff68c6
[docs][limitations] add module type of
fantazio
committed
4fc44a7
[src][deadSign] fix modtype_of FP
fantazio
committed
517055d
[src][deadSign] refactor
fantazio
committed
62b3666