Some documentation about `Params` and `Proper`.
This came up in stdpp!493 (comment 94682)
TODO:
-
Refer back relevant documentation from Iris in std++, let's discuss in stdpp#194
Edited by Robbert Krebbers
This came up in stdpp!493 (comment 94682)
TODO: