The type of rotary compressor used in aeroplanes, is of