{"version":3,"file":"money.d.ts","sourceRoot":"","sources":["../../src/typecheck/money.js"],"names":[],"mappings":"AAkBA;;;;;GAKG;AAEH;;;GAGG;AACH,6BAFU,QAAQ,CA0BhB;AAEF;;;;GAIG;AACH,wBAFU,QAAQ,CAqFhB;AAEF;;GAEG;AACH,mEAFgB,SAAS;CA8BxB;uBA7JY,OAAO,aAAa,EAAE,QAAQ;mBAC9B,OAAO,aAAa,EAAE,IAAI;wBAC1B,OAAO,aAAa,EAAE,SAAS;+BAC/B,OAAO,aAAa,EAAE,gBAAgB;iCAflB,iBAAiB"}