Closed Nadrieril closed 3 months ago
Companion PR to https://github.com/AeneasVerif/charon/pull/216; @msprotz told me to merge.
Companion PR to https://github.com/AeneasVerif/charon/pull/216; @msprotz told me to merge.