// Path: src/main/java/bixie/prover/ProverFun.java
// public interface ProverFun {
// 
// 	ProverExpr mkExpr(ProverExpr[] args);
// 
// }
// 
// Path: src/main/java/bixie/prover/ProverType.java
// public interface ProverType {
// 
// }


import scala.collection.mutable.ArrayBuffer;
import ap.basetypes.IdealInt$;
import ap.parser.IExpression$;
import ap.parser.IFunApp;
import ap.parser.IFunction;
import ap.parser.IIntLit;
import ap.parser.ITerm;
import ap.parser.ITermITE;
import bixie.prover.ProverExpr;
import bixie.prover.ProverFun;
import bixie.prover.ProverType;
package bixie.prover.princess;


class PrincessFun implements ProverFun {

	private final IFunction fun;
// Path: src/main/java/bixie/prover/ProverFun.java
// public interface ProverFun {
// 
// 	ProverExpr mkExpr(ProverExpr[] args);
// 
// }
// 
// Path: src/main/java/bixie/prover/ProverType.java
// public interface ProverType {
// 
// }


// Path: src/main/java/bixie/prover/princess/PrincessFun.java
import scala.collection.mutable.ArrayBuffer;
import ap.basetypes.IdealInt$;
import ap.parser.IExpression$;
import ap.parser.IFunApp;
import ap.parser.IFunction;
import ap.parser.IIntLit;
import ap.parser.ITerm;
import ap.parser.ITermITE;
import bixie.prover.ProverExpr;
import bixie.prover.ProverFun;
import bixie.prover.ProverType;

package bixie.prover.princess;


class PrincessFun implements ProverFun {

	private final IFunction fun;
	private final ProverType resType;