Add LEBStoIP.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>

protocol/protocol.tex

@@ -1662,6 +1662,8 @@ electronic commerce and payment, financial privacy, proof of work, zero knowledg
 \newcommand{\ItoLEBSPOf}[2]{\ItoLEBSP{#1}\!\left({#2}\right)}
 \newcommand{\ItoBEBSP}[1]{\mathsf{I2BEBSP}_{#1}}
 \newcommand{\ItoBEBSPOf}[2]{\ItoBEBSP{#1}\!\left({#2}\right)}
+\newcommand{\LEBStoIP}[1]{\mathsf{LEBS2IP}_{#1}}
+\newcommand{\LEBStoIPOf}[2]{\LEBStoIP{#1}\!\left({#2}\right)}
 \newcommand{\LEOStoIP}[1]{\mathsf{LEOS2IP}_{#1}}
 \newcommand{\LEOStoIPOf}[2]{\LEOStoIP{#1}\!\left({#2}\right)}
 \newcommand{\LEBStoOSP}[1]{\mathsf{LEBS2OSP}_{#1}}
@@ -5479,6 +5481,9 @@ and integers:
   \item $\ItoBEBSP{} \typecolon (\ell \typecolon \Nat) \times \binaryrange{\ell} \rightarrow \bitseq{\ell}$
         such that $\ItoBEBSPOf{\ell}{x}$ is the sequence of $\ell$ bits representing $x$ in
         big-endian order.
+  \item $\LEBStoIP{} \typecolon (\ell \typecolon \Nat) \times \bitseq{\ell} \rightarrow \binaryrange{\ell}$
+        such that $\LEBStoIPOf{\ell}{S}$ is the integer represented in little-endian order by the
+        bit sequence $S$ of length $\ell$.
   \item $\LEOStoIP{} \typecolon (\ell \typecolon \Nat \suchthat \ell \bmod 8 = 0) \times \byteseq{\ell/8} \rightarrow \binaryrange{\ell}$
         such that $\LEOStoIPOf{\ell}{S}$ is the integer represented in little-endian order by the
         byte sequence $S$ of length $\ell/8$.