{"version":3,"file":"UserTypes.d.ts","sourceRoot":"","sources":["../../src/program/UserTypes.js"],"names":[],"mappings":"wBAGa;IAAC,CAAC,IAAI,EAAE,MAAM,GAAG,GAAG,CAAA;CAAC"}