Forked from
Iris / stdpp
Source project has a limited visibility.
-
Robbert Krebbers authored
This allows for constant expressions in array sizes and makes way for future extensions.
Robbert Krebbers authoredThis allows for constant expressions in array sizes and makes way for future extensions.
