"use strict";
Object.defineProperty(exports, "__esModule", { value: true });
exports.AbstractSecondOrderPredicateOp = void 0;
const AbstractPredicateOp_1 = require("./AbstractPredicateOp");
class AbstractSecondOrderPredicateOp extends AbstractPredicateOp_1.AbstractPredicateOp {
    constructor(path, ops) {
        super(path);
        this.ops = ops;
    }
}
exports.AbstractSecondOrderPredicateOp = AbstractSecondOrderPredicateOp;
//# sourceMappingURL=AbstractSecondOrderPredicateOp.js.map