Function NewBoundDecl

ast/decl.go:400–402

NewBoundDecl returns a new BoundDecl.

(bounds ...BaseTerm)

// NewBoundDecl returns a new BoundDecl.
func NewBoundDecl(bounds ...BaseTerm) BoundDecl {
	return BoundDecl{bounds}
}

// InclusionConstraint expresses e.g. that if foo(X, Y) holds,
// then also bar(X) and baz(Y) and xyz(X,Y) hold. This can be a