{"version":3,"file":"lean.d.ts","sourceRoot":"","sources":["../../../../src/ptr/node/runtimes/lean.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAKH,OAAO,EAAE,OAAO,EAAyB,MAAM,WAAW,CAAC;AAqC3D,qBAAa,WAAY,YAAW,OAAO;IACjC,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC;CAuB/E"}