Commit 2022-04-09 17:28 d831478d
View on Github →feat(computability/encoding): Bounds on cardinality from an encoding (#13224)
Generalizes universe variables for computability.encoding
Uses a computability.encoding to bound the cardinality of a type