3 ms·I mean... rust alone doesn't have this feature. And many languages have a "slap z3 onto it" tool.by Ohentis 15d agoI mean... rust alone doesn't have this feature. And many languages have a "slap z3 onto it" tool.