Remove unnecessary parameters from PParams

Signed-off-by: Javier Díaz <[email protected]>
IntersectMBO · Dec 12, 2024 · f3361a3 · f3361a3
1 parent 9302544
commit f3361a3
Show file tree

Hide file tree

Showing 14 changed files with 42 additions and 599 deletions.
diff --git a/docs/agda-spec/src/InterfaceLibrary/Ledger.lagda b/docs/agda-spec/src/InterfaceLibrary/Ledger.lagda
@@ -4,16 +4,14 @@
 -- TODO: The following should be likely located in Common.
 open import Ledger.Prelude
 open import Ledger.Crypto
-open import Ledger.Script
 open import Ledger.Types.Epoch
 
 module InterfaceLibrary.Ledger
   (crypto : Crypto)
   (es     : _) (open EpochStructure es)
-  (ss     : ScriptStructure crypto es) (open ScriptStructure ss)
   where
 
-open import Ledger.PParams crypto es ss using (PParams)
+open import Ledger.PParams using (PParams)
 open import InterfaceLibrary.Common.BaseTypes crypto using (PoolDistr)
 
 \end{code}