{"version":3,"file":"Assume.d.ts","sourceRoot":"","sources":["../../../src/cast/Assume.ts"],"names":[],"mappings":"AAGA;;;GAGG;AACH,MAAM,MAAM,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAE5D,2EAA2E;AAC3E,MAAM,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,SAAS,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,CAAA"}