11 lines
414 B
Go
11 lines
414 B
Go
package config
|
|
|
|
// Configuration settings for the program.
|
|
type Config struct {
|
|
Source Source // The source code given to the program.
|
|
Verbose bool // Whether or not to print debug logs.
|
|
Explanation bool // Whether or not to print an explanation of the reduction.
|
|
Profile string // If not nil, print a CPU profile during execution.
|
|
Statistics bool // Whether or not to print statistics.
|
|
}
|