petr-typecheck is used at run time in 6 crates. It is a direct run-time dependency in 4 crates.

Depender (with downloads and own rev deps) petr-typecheck version
3 petr-ir ^0.1.0
2 petr-api ^0.1.0
petr-cli ^0.1.0
1 petr-vm dev ^0.1.0