/**
* @deprecated
* @module
*/
import { pallas as pn, vesta as vn } from "./misc.js";
/** @deprecated */
export const pallas = pn;
export const vesta = vn;
//# sourceMappingURL=pasta.js.map