TypeAlias SubstMap

ast/ast.go:158–158

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

// SubstMap is a substitution backed by a map from variables to constants.
type SubstMap map[Variable]BaseTerm

// Get implements the Get method from Subst.
func (m SubstMap) Get(v Variable) BaseTerm {