convenience method to print a SpecStructure using the printer's Fold
convenience method to print a SpecStructure using the printer's Fold
convenience method to print a SpecificationStructure using the printer's Fold
convenience method to print a SpecificationStructure using the printer's Fold
a Fold for the markdown output
(Since version ) see corresponding Javadoc for more information.