Module aya.base
Package org.aya.concrete

Interface Expr.WithTerm

All Superinterfaces:
org.aya.util.error.SourceNode
All Known Implementing Classes:
Expr.Param, Expr.Proj, Expr.Ref
Enclosing interface:
Expr
public static sealed interface Expr.WithTerm extends org.aya.util.error.SourceNode permits Expr.Param, Expr.Ref, Expr.Proj

  • Method Summary

    Modifier and Type
    Method
    Description
    default ExprTycker.Result
    core()
     
    @NotNull kala.value.MutableValue<ExprTycker.Result>
    theCore()
     

    Methods inherited from interface org.aya.util.error.SourceNode

    sourcePos