模块 org.aya

类 Decl.PrimDecl

所有已实现的接口:
Stmt, TyckUnit, org.aya.util.binop.OpDecl, org.aya.util.distill.AyaDocile, org.aya.util.error.SourceNode
封闭类:
Decl

public static final class Decl.PrimDecl extends Decl
另请参阅:
Implementation Requirements:
the result field of Decl.PrimDecl might be Expr.ErrorExpr, which means it's unspecified in the concrete syntax.
  • 字段详细资料

  • 构造器详细资料

    • PrimDecl

      public PrimDecl(@NotNull @NotNull org.aya.util.error.SourcePos sourcePos, @NotNull @NotNull org.aya.util.error.SourcePos entireSourcePos, @NotNull @NotNull String name, @NotNull @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope, @NotNull @NotNull Expr result)
  • 方法详细资料