envid property

int envid
getter/setter pair

Implementation

int envid;