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 4, 2026

Commits on Aug 5, 2026

[src] identify and correct wrong exports
fantazio
committed
f3b58fb
[docs][limitations] merge modtype
fantazio
committed
0bf4238
[src] change `in_modtype` to `implicit_decs`
fantazio
committed
a3f6a22
[docs][limitations] add module type of
fantazio
committed
4dcc0a8
[src][deadSign] fix modtype_of FP
fantazio
committed
907ecdc
[src][deadSign] refactor
fantazio
committed
f302e15