模块 org.aya
程序包 org.aya.tyck.order

接口 TyckUnit

所有超级接口:
org.aya.util.error.SourceNode
所有已知子接口:
Command, Stmt
所有已知实现类:
Command.Import, Command.Module, Command.Open, Decl, Decl.DataCtor, Decl.DataDecl, Decl.FnDecl, Decl.PrimDecl, Decl.StructDecl, Decl.StructField, Generalize, Remark, Signatured
public sealed interface TyckUnit extends org.aya.util.error.SourceNode permits Stmt, Signatured

  • 方法概要

    修饰符和类型
    方法
    说明
    boolean
    needTyck(@NotNull kala.collection.immutable.ImmutableSeq<String> currentMod)
     

    从接口继承的方法 org.aya.util.error.SourceNode

    sourcePos

  • 方法详细资料

    • needTyck

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