RDLProofSystem / src / main / java / models / algebra / ParameterizedIdentifierIsFutureWork.java

package models.algebra;

public class ParameterizedIdentifierIsFutureWork extends FutureWorkException {

}