Merge branch 'robbert/from_sep_opaque_fix' into 'master'
Add instance for `FromSep (tc_opaque P) Q1 Q2` See merge request iris/iris!834
No related branches found
No related tags found
Loading
Please register or sign in to comment
Add instance for `FromSep (tc_opaque P) Q1 Q2` See merge request iris/iris!834