OpenZeppelin/daml-props: daml/DamlProps/Sequence.daml

Daml contract source - OpenZeppelin/daml-props/daml/DamlProps/Sequence.daml ```daml -- | Sequence runner: generates and executes random action sequences. -- Users define action types and execution functions; this module provides -- the scaffolding for generation, execution, and invariant checking. m