package edu.utexas.cs.utopia.cortado.vcgen.templategen;

import edu.utexas.cs.utopia.cortado.expression.ast.integer.IntExpr;

public interface IntegerCandidateGenerator extends CandidateGenerator<IntExpr>
{
}
