Extractor
Source
header_type
E::header_type
ヘッダ情報を保持する型
e
head
Switch the next entry
e.next_entry()
bool
eの読み込み対象を次のエントリに切り替える。
Entry header
e.header()
aの現在のエントリのヘッダ情報を返す。
a