export type { InitialProposal } from "./InitialProposal";
export type { MaliciousProposal } from "./MaliciousProposal";