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 Reviewersfield below. -
Select as Assigneethe next person who should take action on that MR
Edited by Nicolas Ayache