{"version":3,"file":"screen-typecheck.d.ts","sourceRoot":"","sources":["../../../src/server/checking/screen-typecheck.ts"],"names":[],"mappings":"AAkBA,OAAO,EAAuC,KAAK,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAE9F,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAGlE;;iFAEiF;AACjF,eAAO,MAAM,UAAU,aAAa,CAAC;AAErC,eAAO,MAAM,IAAI,GAAI,OAAO,SAAS,MAAM,EAAE,KAAG,MAA4D,CAAC;AAwU7G;;;;;;;;;;GAUG;AACH,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,OAAO,CAAC,aAAa,EAAE;IAAE,EAAE,EAAE,IAAI,CAAA;CAAE,CAAC,EAC7C,UAAU,EAAE,SAAS,MAAM,EAAE,GAC5B,oBAAoB,EAAE,CASxB"}