Forked from
Iris / stdpp
Source project has a limited visibility.
-
Maxime Dénès authored
This is in preparation for coq/coq#9274.
Maxime Dénès authoredThis is in preparation for coq/coq#9274.
This is in preparation for coq/coq#9274.