ROC.ID.Language
data Language Source #
A language into which values can be localized when pretty printing.
Constructors