Add security-group parameters to figure

Author: carlostome

src/Ledger/PParams.lagda

@@ -150,6 +150,11 @@ record PParams : Type where
         drepActivity                  : Epoch
 \end{code}
 \end{AgdaMultiCode}
+\emph{Security group}
+
+\maxBlockSize{} \maxTxSize{} \maxHeaderSize{} \maxValSize{}
+\maxBlockExUnits{} \AgdaField{a}{} \AgdaField{b}{}
+\minFeeRefScriptCoinsPerByte{} \coinsPerUTxOByte{} \govActionDeposit{}
 \caption{Protocol parameter definitions}
 \label{fig:protocol-parameter-declarations}
 \end{figure*}

src/latex/agda-latex-macros.sty

@@ -182,6 +182,7 @@
 \newcommand{\ccThreshold}{\AgdaFunction{ccThreshold}\xspace}
 \newcommand{\cc}{\AgdaField{cc}\xspace}
 \newcommand{\coinThreshold}{\AgdaFunction{coinThreshold}\xspace}
+\newcommand{\coinsPerUTxOByte}{\AgdaField{coinsPerUTxOByte}\xspace}
 \newcommand{\commaENACTrightBoldParen}{\AgdaDatatype{,ENACT⦈}\xspace}
 \newcommand{\compute}{\AgdaField{compute}\xspace}
 \newcommand{\constMap}{\AgdaFunction{constMap}\xspace}
@@ -347,11 +348,17 @@
 \newcommand{\mapWithKey}{\AgdaFunction{mapWithKey}\xspace}
 \newcommand{\mapsubtwo}{\AgdaFunction{map₂}\xspace}
 \newcommand{\maximum}{\AgdaFunction{maximum}\xspace}
+\newcommand{\maxBlockSize}{\AgdaField{maxBlockSize}\xspace}
+\newcommand{\maxBlockExUnits}{\AgdaField{maxBlockExUnits}\xspace}
+\newcommand{\maxHeaderSize}{\AgdaField{maxHeaderSize}\xspace}
 \newcommand{\maxRefScriptPerTx}{\AgdaField{maxRefScriptPerTx}\xspace}
 \newcommand{\maxRefScriptPerBlock}{\AgdaField{maxRefScriptPerBlock}\xspace}
+\newcommand{\maxTxSize}{\AgdaField{maxTxSize}\xspace}
+\newcommand{\maxValSize}{\AgdaField{maxValSize}\xspace}
 \newcommand{\maybe}{\AgdaFunction{maybe}\xspace}
 \newcommand{\maybeprime}{\AgdaFunction{maybe′}\xspace}
 \newcommand{\meetsMinAVS}{\AgdaFunction{meetsMinAVS}\xspace}
+\newcommand{\minFeeRefScriptCoinsPerByte}{\AgdaField{minFeeRefScriptCoinsPerByte}\xspace}
 \newcommand{\minimumAVS}{\AgdaField{minimumAVS}\xspace}
 \newcommand{\ccMinSize}{\AgdaField{ccMinSize}\xspace}
 \newcommand{\mleqmplusn}{\AgdaFunction{m≤m+n}\xspace}