WIP

eras/conway/impl/src/Cardano/Ledger/Conway/Governance/Internal.hs

@@ -266,10 +266,19 @@ instance EraPParams era => NoThunks (EnactState era)
 
 -- ========================================
 
+-- | `RatifyState` stores information about what will happen to the active
+-- governance actions at the next epoch boundary.
 data RatifyState era = RatifyState
   { rsEnactState :: !(EnactState era)
-  , rsEnacted :: !(Seq (GovActionState era))
-  , rsExpired :: !(Set (GovActionId (EraCrypto era)))
+  , -- | Governance actions that are going to be enacted at the next epoch
+    -- boundary.
+    rsEnacted :: !(Seq (GovActionState era))
+  , -- | Governance actions that are going to be removed at the next epoch
+    -- boundary, either due to expiring or because they would become invalid
+    -- after another governance action gets enacted before it
+    rsExpired :: !(Set (GovActionId (EraCrypto era)))
+    -- | True if all the governance actions will get delayed by one epoch at the
+    -- next epoch boundary
   , rsDelayed :: !Bool
   }
   deriving (Generic)