Function NewFunType

symbols/typeexprs.go:102–104

NewFunType returns a new function type. Res <- Arg1, ..., ArgN

(res ast.BaseTerm, args ...ast.BaseTerm)

// NewFunType returns a new function type.
// Res <- Arg1, ..., ArgN
func NewFunType(res ast.BaseTerm, args ...ast.BaseTerm) ast.ApplyFn {
	return newTypeExpr(FunType, append([]ast.BaseTerm{res}, args...)...)
}

// NewRelType returns a new relation type.
func NewRelType(args ...ast.BaseTerm) ast.ApplyFn {