HmdDoc¶ In std/doc. type HmdDoc : Doc { header : HmdHeader // a partial schema: other paths stay open } A document written in hyper-markdown: a Doc whose header is an HmdHeader, a partial schema in which other paths stay open.