Defines the Rust borrow checker.
Why do you think that https://github.com/mthom/scryer-prolog is a good alternative to polonius
Defines the Rust borrow checker.
Why do you think that https://github.com/mthom/scryer-prolog is a good alternative to polonius