package conditionals;


public class True extends Bool {

	@Override
	public Bool and(Bool x) {
		return x;
	}

	@Override
	public Bool or(Bool x) {
		return this;
	}

	@Override
	public void cond(Thunk then, Thunk els) {
		then.force();
	}

	@Override
	public Bool not() {
		return new False();
	}

}