Function GetTypeContext

symbols/typeexprs.go:342–350

GetTypeContext returns type context containing all type vars, with /any bound.

(typeExpr ast.BaseTerm)

// GetTypeContext returns type context containing all type vars, with /any bound.
func GetTypeContext(typeExpr ast.BaseTerm) map[ast.Variable]ast.BaseTerm {
	typeCtx := map[ast.Variable]ast.BaseTerm{}
	typeVars := map[ast.Variable]bool{}
	ast.AddVars(typeExpr, typeVars)
	for v := range typeVars {
		typeCtx[v] = ast.AnyBound
	}
	return typeCtx
}