{-# OPTIONS --safe #-}
open import Prelude using (Type)
module Ledger.Dijkstra.Specification.TokenAlgebra.Base (PolicyId : Type) where

open import Ledger.Conway.Specification.TokenAlgebra.Base PolicyId public