gooseproj

type GooseConfig struct {
	// Path to directory with go.mod
	//
	// If not set, search for a unique go.mod file.
	GoPath string `toml:"go_path"`
	// Packages to translate. Defaults to [./...].
	PkgPatterns []string `toml:"packages"`
	// Root output directory for Rocq code. Defaults to "src".
	RocqRoot string `toml:"rocq"`
}