totalEnv property

Envelope totalEnv
getter/setter pair

Implementation

Envelope totalEnv = new Envelope.empty();