Function NewVariableBound

ast/temporal.go:185–190

NewVariableBound creates a bound from a variable.

(v Variable)

// NewVariableBound creates a bound from a variable.
func NewVariableBound(v Variable) TemporalBound {
	return TemporalBound{
		Type:     VariableBound,
		Variable: v,
	}
}

// NegativeInfinity returns a bound representing negative infinity.
func NegativeInfinity() TemporalBound {