import { require_agda } from './chunk-UTFQTWVZ.js'; import './chunk-BS5JN4MX.js'; var agda2VJNV7U4 = require_agda(); export { agda2VJNV7U4 as default };