Documentation for atdgen