proofsetup

type ProofSetup struct {
	ProofPath   string
	PackageName string
	Imports     string
	ContextVars string
	WpLemmas    []string
}