A library providing mechanisms to convert textual documentation from comments into more formal documentation, for the DM language.