RDLProofSystem / src / main / java / models / terms / meta / MetaTermPairGenerator.java

package models.terms.meta;

@FunctionalInterface
public interface MetaTermPairGenerator {
	
	record TermPair(MetaRDLTerm dependedTerm, MetaRDLTerm argTerm) {};
	
	TermPair generate(int index, int depth, boolean isLast);
	
}