The compiler typerstore package tracks values during typechecking.
The typerstore package implements the Typerstore API.
The typerstore package source code is in src/lib/compiler/front/typer-stuff/modules/typerstore.pkg.
The above information is manually maintained and may contain errors.
Typerstore