envelope property

Envelope envelope
getter/setter pair

Implementation

late Envelope envelope;