module dev.civl.sarl {
	exports dev.civl.sarl;
	exports dev.civl.sarl.IF;
	exports dev.civl.sarl.IF.config;
	exports dev.civl.sarl.IF.expr;
	exports dev.civl.sarl.IF.expr.valueSetReference;
	exports dev.civl.sarl.IF.number;
	exports dev.civl.sarl.IF.object;
	exports dev.civl.sarl.IF.type;
	exports dev.civl.sarl.number.IF;
	exports dev.civl.sarl.object.IF;
	exports dev.civl.sarl.object.common;
	exports dev.civl.sarl.prove.IF;
	exports dev.civl.sarl.util;
	exports dev.civl.sarl.expr.cnf;
	exports dev.civl.sarl.preuniverse.IF;
	exports dev.civl.sarl.prove.smt;
	exports dev.civl.sarl.expr.IF;
	exports dev.civl.sarl.type.IF;
	exports dev.civl.sarl.simplify.IF;
	exports dev.civl.sarl.ideal.IF;
}