type-analyze

Statically analyze types through comments