Module aya.base

Interface DefConsumer

All Superinterfaces:
Consumer<Term>, TermConsumer
All Known Implementing Classes:
CallResolver

public interface DefConsumer extends TermConsumer
  • Method Details

    • visitMatching

      default void visitMatching(@NotNull Term.Matching matching)
    • visitPat

      default void visitPat(@NotNull @NotNull Pat pat)
    • accept

      default void accept(@NotNull @NotNull GenericDef def)
    • partial

      default void partial(org.aya.guest0x0.cubical.Partial<Term> clauses)