Validation and Transforming

This module performs various validation tasks on OMDoc documents (org.omdoc.jomdoc.validation), and transformations from one format to another (org.omdoc.jomdoc.transform).

Validation

Includes symbol visibility validation, redundant and circular imports discovery.

Transforming

Transformation between strict and pragmatic representation with respect to imports and cdbases of symbols.