Generated by coqdoc and improved by CoqdocJS