MCPcopy
hub / github.com/google/mangle / NewRelType

Function NewRelType

symbols/typeexprs.go:107–109  ·  view source on GitHub ↗

NewRelType returns a new relation type.

(args ...ast.BaseTerm)

Source from the content-addressed store, hash-verified

105
106// NewRelType returns a new relation type.
107func NewRelType(args ...ast.BaseTerm) ast.ApplyFn {
108 return newTypeExpr(RelType, args...)
109}
110
111// NewUnionType returns a new UnionType.
112func NewUnionType(elems ...ast.BaseTerm) ast.ApplyFn {

Callers 10

newBoundsAnalyzerFunction · 0.92
feasibleAlternativesMethod · 0.92
symbols.goFile · 0.85
TestRelTypeExprFromDeclFunction · 0.85
TestRelTypeMethodsFunction · 0.85
TestSetConformsFunction · 0.85
TestTypeConformsFunction · 0.85
relTypesFromDeclFunction · 0.85

Calls 1

newTypeExprFunction · 0.85

Tested by 4

TestRelTypeExprFromDeclFunction · 0.68
TestRelTypeMethodsFunction · 0.68
TestSetConformsFunction · 0.68
TestTypeConformsFunction · 0.68