Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.
Home Page:https://docs.rs/indexing/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool