[]
[]
= ["std"]
= []
= []
[]
= ["Martin Molzer <ga65guy@mytum.de>"]
= "Observing type equality with zero-sized proofs"
= "2018"
= "https://github.com/WorldSEnder/type-equalities-rs"
= "MIT/Apache-2.0"
= "type-equalities"
= "README.md"
= "https://github.com/WorldSEnder/type-equalities-rs"
= "0.1.4"