3 ms·No, I'm simply stating the fact that there are type systems capable of encoding assertions.by cia_plant 13y agoNo, I'm simply stating the fact that there are type systems capable of encoding assertions.