COMP_DESTRUCTED

monitor::mon::compartment::runcomp

Constant COMP_DESTRUCTED 

Source 
pub const COMP_DESTRUCTED: u64 = _; // 16u64
Expand description

Compartment destructors have run.