type-equalities 0.1.4

Observing type equality with zero-sized proofs
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
[dependencies]

[features]
default = ["std"]
std = []
test-for-type-equality = []

[package]
authors = ["Martin Molzer <ga65guy@mytum.de>"]
description = "Observing type equality with zero-sized proofs"
edition = "2018"
homepage = "https://github.com/WorldSEnder/type-equalities-rs"
license = "MIT/Apache-2.0"
name = "type-equalities"
readme = "README.md"
repository = "https://github.com/WorldSEnder/type-equalities-rs"
version = "0.1.4"