Closed genedan closed 4 years ago
Since the NominalInt/Disc classes have been removed, this section of the documentation needs to be redone.
closed with https://github.com/genedan/TmVal/commit/5b5ff92e83c8fbecd1c89c8b212532ac85036d3e
Since the NominalInt/Disc classes have been removed, this section of the documentation needs to be redone.