monitor::mon::compartment::runcomp

Constant COMP_DESTRUCTED

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

Compartment destructors have run.