\section{Base Types}
\begin{code}[hide]
{-# OPTIONS --safe #-}

module Ledger.BaseTypes where

open import Prelude using (ℕ)
\end{code}


\begin{code}[hide]
private
\end{code}
\begin{figure*}[h]
\begin{code}
  Coin   = ℕ
  Slot   = ℕ
  Epoch  = ℕ
\end{code}
\caption{Some basic types used in many places in the ledger}
\end{figure*}