Function makeDecl

parse/parse_test.go:37–44

(t *testing.T, atom ast.Atom, descrAtoms []ast.Atom, bounds []ast.BoundDecl, constraints *ast.InclusionConstraint)

}

func makeDecl(t *testing.T, atom ast.Atom, descrAtoms []ast.Atom, bounds []ast.BoundDecl, constraints *ast.InclusionConstraint) ast.Decl {
	t.Helper()
	decl, err := ast.NewDecl(atom, descrAtoms, bounds, constraints)
	if err != nil {
		t.Fatal(err)
	}
	return decl
}

func TestParseDecl(t *testing.T) {
	inclConstraint := ast.NewInclusionConstraint([]ast.Atom{