Generated by coqdoc and improved with CoqdocJS