{"version":3,"file":"semantic.d.ts","sourceRoot":"","sources":["../../src/verification/semantic.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAkB,SAAS,EAAqB,MAAM,oBAAoB,CAAA;AAGtF,MAAM,MAAM,eAAe,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAA;AAE7D,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,MAAM,CAAA;IACZ,KAAK,EAAE,MAAM,CAAA;IACb,MAAM,CAAC,EAAE,MAAM,CAAA;CAChB;AAED,MAAM,WAAW,yBAAyB;IACxC,aAAa,EAAE,MAAM,CAAA;IACrB,OAAO,EAAE,eAAe,CAAA;IACxB,MAAM,EAAE,MAAM,CAAA;IACd,QAAQ,EAAE,mBAAmB,EAAE,CAAA;IAC/B,eAAe,EAAE,MAAM,EAAE,CAAA;CAC1B;AAQD,wBAAgB,4BAA4B,CAC1C,IAAI,EAAE,SAAS,EACf,OAAO,EAAE,yBAAyB,EAAE,EACpC,GAAG,SAAa,GACf,SAAS,CAkDX"}