ProverFun.java

package bixie.prover;

public interface ProverFun {

	ProverExpr mkExpr(ProverExpr[] args);

}