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

Daml contract source — OpenZeppelin/canton-token-template/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 repr