Function fml

analysis/validation_test.go:42–48

(str string)

}

func fml(str string) ast.Term {
	t, err := parse.LiteralOrFormula(str)
	if err != nil {
		panic(fmt.Errorf("bad fml syntax in test case: %s got %w", str, err))
	}
	return t
}

func atom(str string) ast.Atom {
	term, err := parse.Term(str)