{-# OPTIONS --safe #-}

module Ledger.Prelude.Base where

open import Data.Nat

Coin = ℕ