Properties

{-# OPTIONS --safe #-}

module Ledger.Conway.Specification.Utxow.Properties where

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