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

package models.terms.meta;

import models.terms.RDLTerm;

@FunctionalInterface
public interface MetaDependencyTermGenerator {
	
	record TermPair(RDLTerm dependedTerm, RDLTerm argTerm) {};
	
	TermPair generate(int i, int size);
	
}