mononym:0.1.0

total uncompressed bytes

68.5 KB

total files

Fix

NewInclude { include: [ "src/**/*", "Cargo.*", "LICENSE", "README.md", "docs/implementation.md", "!**/docs/**/*", "!**/test/**/*", ], has_build_script: false, }

9 wasted files

total waste: 38.3 KB

docs/implementation.md : 14.6 KB
examples/access_control.rs : 8.0 KB
examples/data_structures.rs : 5.4 KB
examples/list.rs : 4.2 KB
docs/exists_macro.md : 3.9 KB
docs/proof_macro.md : 1.9 KB
rustfmt.toml : 342 B
.gitignore : 8 B
src/test/mod.rs : 1 B