OpenZeppelin/daml-props: daml/DamlProps/Invariant.daml

Daml contract source - OpenZeppelin/daml-props/daml/DamlProps/Invariant.daml ```daml -- | Invariant definitions for property-based testing. -- Provides built-in invariants and combinators for user-defined ones. module DamlProps.Invariant where -- | Ledger state snapshot: amounts held by each party.