Proto/SCORU: carbonate PVM_kind
Context
Partly answers #3291 (closed).
PVM_kind
is defined as a carbonated map so that its functions are carbonated.
Manually testing the MR
The impacts on regression traces show it all.
Checklist
-
Select suitable reviewers using the Reviewers
field below. -
Select as Assignee
the next person who should take action on that MR
Edited by Nicolas Ayache