[package] name = "trait-theories-std" version = "0.1.0" authors = ["Jinoh Kang "] edition = "2021" description = "A collection of invariants of Rust std traits." license = "MIT OR Apache-2.0" [dependencies]