ProverFun.java

package jayhorn.solver;

public interface ProverFun {

	ProverExpr mkExpr(ProverExpr[] args);

}