Function makeSimpleDecl

analysis/validation_test.go:599–604

(a ast.Atom, bound ...ast.BaseTerm)

}

func makeSimpleDecl(a ast.Atom, bound ...ast.BaseTerm) ast.Decl {
	return ast.Decl{
		DeclaredAtom: a,
		Bounds:       []ast.BoundDecl{{bound}},
	}
}

func TestBoundsAnalyzer(t *testing.T) {
	tests := []boundsTestCase{