Commits 68f380a: No type sig hints for generated accessors (Chris Penner) #6226 02ad685: Don't generate type sigs for docs (Chris Penner) #6226 c168132: proofs (Chris Penner) #6226