Function name

ast/ast_test.go:67–70

(str string)

)

func name(str string) Constant {
	res, _ := Name(str)
	return res
}

func makeDecl(t *testing.T, atom Atom, descr []Atom, boundDecls []BoundDecl, incl *InclusionConstraint) Decl {
	t.Helper()