OpenZeppelin/canton-stablecoin: stablecoin-test/daml/Stablecoin/Test/VaultModel.daml

Daml contract source - OpenZeppelin/canton-stablecoin/stablecoin-test/daml/Stablecoin/Test/VaultModel.daml ```daml -- | Pure state-machine model of daml-stablecoin vault system. -- Models the vault arithmetic without Script effects. -- Follows DamlProps/Dogfood/SimpleToken/Model.daml conventions: --