2 ms·No, in SPARK2014, a subset of Ada, that is everything Rust is trying to be ;)by eggy 3y agoNo, in SPARK2014, a subset of Ada, that is everything Rust is trying to be ;)