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

package models.terms.meta;

import models.terms.RDLTerm;

@FunctionalInterface
public interface MetaDependencyGenerator {

	RDLTerm generate(int i);
	
}