Skip to content
GitLab

Export that iPreProp is a Cofe

Merged Paolo G. Giarrusso requested to merge Blaisorblade/iris:declare-ipreprop-cofe into master

Discussion with @jihgfee suggests this might be useful in some cases. Assigned to @robbertkrebbers for review, since we lack access to the actual full use case.