import { PPTY } from "./ppty.js";
export { PPTY };