Function RelTypeArgs

symbols/typeexprs.go:293–298

RelTypeArgs returns type arguments of a RelType.

(tpe ast.BaseTerm)

// RelTypeArgs returns type arguments of a RelType.
func RelTypeArgs(tpe ast.BaseTerm) ([]ast.BaseTerm, error) {
	if debug && !IsRelTypeExpression(tpe) {
		return nil, fmt.Errorf("not a relation type expression: %v", tpe)
	}
	return typeArgs(tpe), nil
}

// relTypesFromDecl converts bounds a list of RelTypes.
func relTypesFromDecl(decl ast.Decl) ([]ast.BaseTerm, error) {