{"version":3,"file":"NumericIntervalEditor.d.ts","sourceRoot":"","sources":["NumericIntervalEditor.js"],"names":[],"mappings":"AAKA;;IACI,yDA8EC;CACJ;2BArF0B,kBAAkB;sBACvB,4CAA4C"}