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

import edu.utexas.cs.utopia.cortado.expression.ast.bool.BoolExpr;

public interface BooleanCandidateGenerator extends CandidateGenerator<BoolExpr>
{
}
