{"version":3,"file":"double-number-line.d.ts","sourceRoot":"","sources":["../../../src/widgets/generators/double-number-line.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AACvB,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAA;AAOtD,eAAO,MAAM,uBAAuB,OAEnC,CAAA;AAED,eAAO,MAAM,2BAA2B;;;;;;;;;;;;kBAuDtC,CAAA;AAEF,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,2BAA2B,CAAC,CAAA;AA8E/E;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,EAAE,eAAe,CACrD,OAAO,2BAA2B,CAkNlC,CAAA"}