[package] name = "singleton-trait" version = "0.4.0" authors = ["Jason Carr "] edition = "2018" include = ["src/**/*", "Cargo.toml"] description = "Singleton trait for types with unique values and Erased type for zero-sized ownership proofs" license = "MIT" repository = "https://gitlab.com/jcarr0/singleton-trait" readme = "README.md" categories = ["no-std", "rust-patterns"] keywords = ["trait", "singleton", "experimental", "ghost", "proof"] [dependencies]