Generalize `gset_to_propset` to any `SemiSet`
The following discussion from !45 (merged) should be addressed:
-
@dfrumin started a discussion: (+1 comment) This can be formulated for any
SemiSet, but I guess such generality is not really needed?
Robbert Krebbers@robbertkrebbersMaintainer0 of 1 checklist item completed0/1 checklist item
The following discussion from !45 (merged) should be addressed:
This can be formulated for any
SemiSet, but I guess such generality is not really needed?