Add inline documentation for complex logic in type-checker (#73)#100

Open

ALIPHATICHYD wants to merge 1 commit intoInferara:mainfrom

ALIPHATICHYD:73-docs-add-inline-documentation-type-checker

Commits on Jan 22, 2026

This PR adds inline documentation for complex logic in the type-checker module.
ALIPHATICHYD
committed