odoc comment parser