module Synopsis.getoptions
class CommandLineError
CommandLineError-inheritance