模块 aya.base
程序包 org.aya.distill

枚举类 BaseDistiller.Outer

java.lang.Object
java.lang.Enum<BaseDistiller.Outer>
org.aya.distill.BaseDistiller.Outer
所有已实现的接口:
Serializable, Comparable<BaseDistiller.Outer>, Constable
封闭类:
BaseDistiller<Term extends AyaDocile>
public static enum BaseDistiller.Outer extends Enum<BaseDistiller.Outer>
Expression: where am I?
  • Top-level expression may not need parentheses, stone free!
  • An argument of an application! Stay in parentheses!
  • An operand of a binary application! Applications within are safe, but other binary applications are in danger!
  • Codomain of a telescope