"use strict";

var _interopRequireDefault = require("@babel/runtime/helpers/interopRequireDefault");
Object.defineProperty(exports, "__esModule", {
  value: true
});
exports["default"] = void 0;
var _coq = _interopRequireDefault(require("refractor/coq"));
var _default = exports["default"] = _coq["default"];