Missing TC modes
We know about Equiv
, but:
- From
base.v
,SemiSet, Set, TopSet, FinSet, MonadSet
lack modes. - From
fin_maps.v
,FinMap
lack modes. -
iris!696 (merged) adds to Iris modes for
PartialOrder
,TotalOrder
,Infinite
,MRet
,MBind
,MJoin
,FMap
,OMap
,MGuard
; some of those might work here.