envelope property

Envelope? envelope
getter/setter pair

https://github.com/secure-systems-lab/dsse

Implementation

Envelope? envelope;