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

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