stainless2total uncompressed bytes122.9 KBtotal files66Waste by Extension*.rs17.2 KB waste in 30 filesno extension405 B waste in 3 files*.yml357 B waste in 3 filesVersions0.1.14Total41.0 KB total in 22 filesWaste in all versions6.0 KB wasted in 12 files0.1.13Total41.0 KB total in 22 filesWaste in all versions6.0 KB wasted in 12 files0.1.12Total40.9 KB total in 22 filesWaste in all versions6.0 KB wasted in 12 files