OpenZeppelin/daml-props: daml/DamlProps/Property.daml
Daml contract source - OpenZeppelin/daml-props/daml/DamlProps/Property.daml ```daml -- | Property definition and forAll combinator. -- Users define properties as functions from generated values to Script assertions. module DamlProps.Property where import DamlProps.Gen import DamlProps.Seed -- | Conf
Read on GitHub Code ↗