Correct return type of readBit to bool

IntersectMBO · Dec 20, 2024 · b769f4f · b769f4f
1 parent 4f1736f
commit b769f4f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/plutus-core-spec/cardano/builtins5.tex b/doc/plutus-core-spec/cardano/builtins5.tex
@@ -67,7 +67,7 @@ \subsubsection{Built-in functions}
     \TT{countSetBits} & $[\ty{bytestring}] \to \ty{integer}$
     & $b_{n-1}{\cdots}b_0 $ \text{$\mapsto \left|\{i: b_i =1\}\right|$} & No & \\[2mm]
     \TT{findFirstSetBit} & $[\ty{bytestring}] \to \ty{integer}$ & $\mathsf{ffs}$ & No & \ref{note:ffs}\\[2mm]
-    \TT{readBit} & $[\ty{bytestring}, \ty{integer}] $ \text{$\;\; \to \ty{bytestring}$}
+    \TT{readBit} & $[\ty{bytestring}, \ty{integer}] $ \text{$\;\; \to \ty{bool}$}
                                         & $(b_{n-1}{\cdots}b_0, i) $ \text{$\mapsto \begin{cases}
                                         b_i & \text{if $0 \leq i \leq n-1$}\\
                                         \errorX & \text{otherwise}