Method Get

ast/ast.go:154–154

Returns the term the given variable maps to, or nil if the variable is not in domain.

(Variable)

type Subst interface {
	// Returns the term the given variable maps to, or nil if the variable is not in domain.
	Get(Variable) BaseTerm
}

// SubstMap is a substitution backed by a map from variables to constants.