Ideas.Encoding.Request
data Request
data Schema
getSchema
readSchema
data DataFormat
data Encoding
htmlOutput
compactOutput
useOpenMath
useJSONTerm
useLogging
discoverDataFormat
readEncoding