Function name

analysis/validation_test.go:34–40

(str string)

var testCases embed.FS

func name(str string) ast.Constant {
	n, err := ast.Name(str)
	if err != nil {
		panic(fmt.Errorf("bad name in test case: %s got %w", str, err))
	}
	return n
}

func fml(str string) ast.Term {
	t, err := parse.LiteralOrFormula(str)