package type_eq

You can search for identifiers within the package.

in-package search v0.2.0

Type equality proofs for OCaml 4

Install

sha256=7855592497d4ea17dbf2f28d5ce64b67570772c0ddcc551eadb87645906dd199

sha512=b54629c3eca93c820156d5d4cf1a71fdef3fba07321a8ac068869d7e900e056944d8a02770dd21e4c2bbdcb5376036ddb61b83b33afe7bb355ac59b9b4bb0d63

1.0.0
========
- #1: initial implementation