Add documents of internal data structure

I add documents of internal data structure.
Please read a proof.