模块 aya.base
程序包 org.aya.core.pat

类 PatToTerm

java.lang.Object
org.aya.core.pat.PatToTerm

public class PatToTerm extends Object
另请参阅:
  • 构造器详细资料

    • PatToTerm

      protected PatToTerm()
  • 方法详细资料

    • visit

      public Term visit(@NotNull @NotNull Pat pat)
    • visitCtor

      @NotNull protected @NotNull Term visitCtor(@NotNull Pat.Ctor ctor)