// Path: src/main/java/gadt/App.java
// public interface App<C, T> {
// }


import gadt.App;
package gadt.evaluator;


/**
 * Authors:
 * Aggelos Biboudis (@biboudis)
 * Nick Palladinos (@NickPalladinos)
 */

public class BoolLit extends Expr<Boolean> {
    final Boolean value;

    public BoolLit(Boolean i) {
        this.value = i;
    }

// Path: src/main/java/gadt/App.java
// public interface App<C, T> {
// }


// Path: src/main/java/gadt/evaluator/BoolLit.java
import gadt.App;

package gadt.evaluator;


/**
 * Authors:
 * Aggelos Biboudis (@biboudis)
 * Nick Palladinos (@NickPalladinos)
 */

public class BoolLit extends Expr<Boolean> {
    final Boolean value;

    public BoolLit(Boolean i) {
        this.value = i;
    }

    @Override