Interface LambdaTypeNode

All Superinterfaces:
ASTNode, SizeableNode, TypeNode

public interface LambdaTypeNode extends TypeNode
A TypeNode representing a $lambda(free-var-type:func-type) type
  • Method Details

    • freeVariableType

      TypeNode freeVariableType()
      Returns:
      The TypeNode representing the type of the free variable
    • lambdaFunctionType

      TypeNode lambdaFunctionType()
      Returns:
      The TypeNode representing the type of the lambda function.