A framework for building structured documentation, with compile-time validation of the document structure.