Module aya.base
Package org.aya.tyck.order

Interface TyckUnit

All Superinterfaces:
org.aya.util.error.SourceNode
All Known Subinterfaces:
Command, Decl, Stmt
All Known Implementing Classes:
ClassDecl, Command.Import, Command.Module, Command.Open, CommonDecl, Generalize, TeleDecl, TeleDecl.DataCtor, TeleDecl.DataDecl, TeleDecl.FnDecl, TeleDecl.PrimDecl, TeleDecl.StructDecl, TeleDecl.StructField
public sealed interface TyckUnit extends org.aya.util.error.SourceNode permits Decl, Stmt

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    needTyck(@NotNull kala.collection.immutable.ImmutableSeq<String> currentMod)
     

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

    sourcePos

  • Method Details

    • needTyck

      boolean needTyck(@NotNull @NotNull kala.collection.immutable.ImmutableSeq<String> currentMod)