{"version":3,"file":"markdown.lean4.codeblock.d.ts","sourceRoot":"","sources":["markdown.lean4.codeblock.js"],"names":[],"mappings":""}