Bijection

structure Bijection[T, U] {
    map: T -> U
} constraint {
    is_bijection_fn(map)
}

A bijection between two types.

GitHub

---

map

Bijection.map: (Bijection[T, U], T) -> U

The underlying map.