Function RelTypeAlternatives

symbols/typeexprs.go:333–339

RelTypeAlternatives converts a relation type expression to a list of alternatives relTypes.

(relTypeExpr ast.BaseTerm)

// RelTypeAlternatives converts a relation type expression to a list of alternatives relTypes.
func RelTypeAlternatives(relTypeExpr ast.BaseTerm) []ast.BaseTerm {
	if IsUnionTypeExpression(relTypeExpr) {
		relTypes, _ := UnionTypeArgs(relTypeExpr)
		return relTypes
	}
	return []ast.BaseTerm{relTypeExpr}
}

// GetTypeContext returns type context containing all type vars, with /any bound.
func GetTypeContext(typeExpr ast.BaseTerm) map[ast.Variable]ast.BaseTerm {