{"version":3,"file":"facts.d.ts","sourceRoot":"","sources":["../../../src/server/checking/facts.ts"],"names":[],"mappings":"AAkBA,OAAO,EAUL,KAAK,iBAAiB,EACtB,KAAK,IAAI,EACT,KAAK,aAAa,EACnB,MAAM,yBAAyB,CAAC;AAOjC,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAGnD,OAAO,KAAK,EAAE,KAAK,EAAW,MAAM,YAAY,CAAC;AAEjD;;;;;;;;;uBASuB;AACvB,eAAO,MAAM,kBAAkB,KAAK,CAAC;AAErC;;oFAEoF;AACpF,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,wEAAwE;AACxE,eAAO,MAAM,aAAa,GAAI,oBAAoB,SAAS,KAAG,MAA+B,CAAC;AAQ9F,eAAO,MAAM,QAAQ,GAAI,OAAO,OAAO,KAAG,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CACH,CAAC;AAKvE,eAAO,MAAM,cAAc,GAAI,OAAO,OAAO,KAAG,OACiD,CAAC;AA6ElG,eAAO,MAAM,aAAa,GACxB,MAAM,IAAI;AACV;qEACqE;AACrE,YAAY,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,EAC/C,SAAS,iBAAiB,KACzB,OAAO,CAAC,SAAS,EAAE,CAkCrB,CAAC;AAsBF;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,gBAAgB,GAAI,MAAM,IAAI,KAAG,SAAS,EA6JtD,CAAC;AAEF;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,WAAW,GAAI,MAAM,IAAI,EAAE,QAAQ,aAAa,GAAG,SAAS,KAAG,SAAS,EA0BpF,CAAC;AAwBF;;;;;;;;;;;GAWG;AACH;;;GAGG;AACH,eAAO,MAAM,UAAU,QAAO,KAAK,EAElC,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,gBAAgB,GAAI,MAAM,iBAAiB,KAAG,KAczD,CAAC"}