ToolTimeLimit.timelimit_

The time limit, in seconds. A time limit of zero means no time limit. Negative time limits are an error.

class ToolTimeLimit
Either!(long, Expression) timelimit_;

Meta