// Path: src/main/java/bixie/prover/ProverType.java
// public interface ProverType {
// 
// }


import java.math.BigInteger;
import ap.SimpleAPI$;
import ap.parser.IBoolLit;
import ap.parser.IFormula;
import bixie.prover.ProverExpr;
import bixie.prover.ProverType;
package bixie.prover.princess;



class FormulaExpr implements ProverExpr {

	protected final IFormula formula;

	FormulaExpr(IFormula formula) {
		this.formula = formula;
	}

	public String toString() {
            return SimpleAPI$.MODULE$.pp(formula);
	}

// Path: src/main/java/bixie/prover/ProverType.java
// public interface ProverType {
// 
// }


// Path: src/main/java/bixie/prover/princess/FormulaExpr.java
import java.math.BigInteger;
import ap.SimpleAPI$;
import ap.parser.IBoolLit;
import ap.parser.IFormula;
import bixie.prover.ProverExpr;
import bixie.prover.ProverType;

package bixie.prover.princess;



class FormulaExpr implements ProverExpr {

	protected final IFormula formula;

	FormulaExpr(IFormula formula) {
		this.formula = formula;
	}

	public String toString() {
            return SimpleAPI$.MODULE$.pp(formula);
	}

	public ProverType getType() {