Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Test.Byron.Spec.Ledger.UTxO.Properties
Documentation
moneyIsConstant ∷ Property Source #
Check that the money is constant in the system.
noDoubleSpending ∷ Property Source #
Check that there is no double spending