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

Daml contract source - OpenZeppelin/canton-stablecoin/simple-token-test/daml/SimpleToken/Test/Props/Properties.daml ```daml -- | Property-based tests for the simple-token model. -- Each test_ function is discovered by dpm test. module SimpleToken.Test.Props.Properties where import Daml.Script import