Forked from
Iris / lambda-rust
1211 commits behind the upstream repository.
-
Jacques-Henri Jourdan authored
Inclusion of permissions. In order to make type inclusion working, I had to change the inclusion of types also.
Jacques-Henri Jourdan authoredInclusion of permissions. In order to make type inclusion working, I had to change the inclusion of types also.
perm_incl.v 2.84 KiB