OpenZeppelin/canton-stablecoin: simple-token-test/daml/SimpleToken/Test/Props/Model.daml

Daml contract source - OpenZeppelin/canton-stablecoin/simple-token-test/daml/SimpleToken/Test/Props/Model.daml ```daml -- | Pure state-machine model of canton-network-token-standard simple-token. -- Models the transfer logic from SimpleToken/Rules.daml without Script effects. -- Parties are represen