Commit 2023-04-21 04:11 c7d91490
View on Github →feat: make ListM
safe (#3559)
Hide the unsafe inductive powering ListM
behind a safe API using implemented_by
.
feat: make ListM
safe (#3559)
Hide the unsafe inductive powering ListM
behind a safe API using implemented_by
.