export {};
//# sourceMappingURL=markdown.lean4.codeblock.d.ts.map