Module aya.base

Interface PrimFactory.Unfolder

All Superinterfaces:
BiFunction<@NotNull org.aya.syntax.core.term.call.PrimCall,@NotNull TyckState,@NotNull org.aya.syntax.core.term.Term>
Enclosing class:
PrimFactory
Functional Interface:
This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@FunctionalInterface public static interface PrimFactory.Unfolder extends BiFunction<@NotNull org.aya.syntax.core.term.call.PrimCall,@NotNull TyckState,@NotNull org.aya.syntax.core.term.Term>