export * from "@principia/prelude/Eq/constructors";
//# sourceMappingURL=constructors.d.ts.map