{-# OPTIONS --safe #-}
module Ledger.Dijkstra.Specification.Utxow.Properties where


open import Ledger.Dijkstra.Specification.Utxow.Properties.Computational