Function IsRelTypeExpression

symbols/typeexprs.go:157–160

IsRelTypeExpression returns true if tpe is a RelType.

(tpe ast.BaseTerm)

// IsRelTypeExpression returns true if tpe is a RelType.
func IsRelTypeExpression(tpe ast.BaseTerm) bool {
	op := typeOp(tpe)
	return op != nil && op.Symbol == RelType.Symbol
}

// ListTypeArg returns the type argument of a ListType.
func ListTypeArg(tpe ast.BaseTerm) (ast.BaseTerm, error) {