Type Alias CompactSelfAdjointOperator 

pub type CompactSelfAdjointOperator = (Compact, SelfAdjoint, DiscreteSpectrum);

Properties of a compact self-adjoint operator.