{"version":3,"file":"source.koka.d.ts","sourceRoot":"","sources":["source.koka.js"],"names":[],"mappings":";AAKA;;GAEG;AAEH,sBAAsB;AACtB,uBADW,OAAO,CA2jBjB;6BA9jByB,sBAAsB"}