Function makeDecl

analysis/validation_test.go:62–69

(t *testing.T, a ast.Atom, descr []ast.Atom, boundDecls []ast.BoundDecl, incl *ast.InclusionConstraint)

}

func makeDecl(t *testing.T, a ast.Atom, descr []ast.Atom, boundDecls []ast.BoundDecl, incl *ast.InclusionConstraint) ast.Decl {
	t.Helper()
	decl, err := ast.NewDecl(a, descr, boundDecls, incl)
	if err != nil {
		t.Fatal(err)
	}
	return decl
}

func makeSyntheticDecl(t *testing.T, a ast.Atom) ast.Decl {
	t.Helper()