TypeMapLevel

Can anyone give a brief overview of TypeMapLevel? I hit one in a m.specializations field of a m::Method. The fieldnames of TypeMapLevel seem a bit inscrutable, and from the couple of comments in julia.h I’m not really getting it.