{"version":3,"file":"propositional.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/propositional.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAO3C,eAAO,MAAM,gCAAgC,+FAI3C,CAAA;AACF,MAAM,MAAM,iCAAiC,GAAG,MAAM,CAClD,OAAO,gCAAgC,CAC1C,CAAA;AA+CD,eAAO,MAAM,yCAAyC;;;;;;;;;;;;;EAOrD,CAAA;AAED,MAAM,MAAM,oCAAoC,GAAG,MAAM,CACrD,OAAO,yCAAyC,CACnD,CAAA;AAED,eAAO,MAAM,uBAAuB,sJAOlC,CAAA;AAEF,MAAM,MAAM,wBAAwB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA;AAE7E,eAAO,MAAM,4BAA4B;;;;;;;;;;;;EAMxC,CAAA;AACD,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA;AAED,eAAO,MAAM,2BAA2B;;;;;;;;;;;EAKvC,CAAA;AACD,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,iCAAiC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAI5C,CAAA;AAEF,MAAM,MAAM,oCAAoC,GAAG,MAAM,CACrD,OAAO,iCAAiC,CAC3C,CAAA;AAED,MAAM,MAAM,4BAA4B,CACpC,CAAC,SAAS,iCAAiC,GACvC,iCAAiC,IACrC,OAAO,CAAC,oCAAoC,EAAE;IAAE,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,CAAA;AAc9D,eAAO,MAAM,4BAA4B;;;;;;;;EAaxC,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,4BAA4B,CAAC,CAAA;AAE7E,eAAO,MAAM,8BAA8B;;;;;;;;;EAe1C,CAAA;AAED,MAAM,MAAM,qBAAqB,GAAG,MAAM,CACtC,OAAO,8BAA8B,CACxC,CAAA;AAED,eAAO,MAAM,iBAAiB,uEAM7B,CAAA;AAED,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE3D,eAAO,MAAM,iCAAiC;;;;;;;;;;EAgB7C,CAAA;AAED,MAAM,MAAM,wBAAwB,GAAG,MAAM,CACzC,OAAO,iCAAiC,CAC3C,CAAA;AAED,eAAO,MAAM,+BAA+B;;;;;;;;;;;;;;;;;;;;;;;;;;;IAI1C,CAAA;AAEF,MAAM,MAAM,0BAA0B,GAAG,MAAM,CAC3C,OAAO,+BAA+B,CACzC,CAAA;AAED,iEAAiE;AACjE,wBAAgB,YAAY,CACxB,CAAC,EAAE,0BAA0B,GAC9B,CAAC,IAAI,mBAAmB,CAE1B;AAED,mEAAmE;AACnE,wBAAgB,cAAc,CAC1B,CAAC,EAAE,0BAA0B,GAC9B,CAAC,IAAI,qBAAqB,CAE5B;AAED,sEAAsE;AACtE,wBAAgB,iBAAiB,CAC7B,CAAC,EAAE,0BAA0B,GAC9B,CAAC,IAAI,wBAAwB,CAE/B;AAED,iGAAiG;AACjG,wBAAgB,iBAAiB,CAC7B,CAAC,EAAE,qBAAqB,EACxB,UAAU,EAAE,MAAM,GACnB,OAAO,CAET;AAmBD,eAAO,MAAM,yBAAyB;;;;;;;;EAUrC,CAAA;AAED,eAAO,MAAM,2BAA2B;;;;;;;;;EAWvC,CAAA;AAED,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;IAM7B,CAAA;AAED,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAC3E,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAC/E,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA"}