eval

type Context struct {
	App             string       // the application for which the evaluation is done
	Tag             string       // the gc tag if present
	Env             string       // the environment for which the evaluation is done
	DefaultNs       string       // the default namespace to expose as an external variable
	VMConfig        VMConfigFunc // the base VM config to use for eval
	Verbose         bool         // show generated code
	Concurrency     int          // concurrent components to evaluate, default 5
	PostProcessFile string       // the file that contains post-processing code for all objects
	CleanMode       bool         // whether clean mode is enabled
}

type VMConfigFunc func(tlaVars []string) vm.Config