{"version":3,"file":"extensional-completeness.d.ts","sourceRoot":"","sources":["../../src/validators/extensional-completeness.ts"],"names":[],"mappings":"AAcA,eAAO,MAAM,mBAAmB,EAQ3B,SAAS,cAAc,EAAE,CAAC;AAE/B,MAAM,WAAW,yBAAyB;IACxC,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CACzB;AAED,MAAM,WAAW,4BAA4B;IAC3C,IAAI,EAAE,iBAAiB,CAAC;IACxB,QAAQ,EAAE,SAAS,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,wBAAgB,4BAA4B,CAC1C,UAAU,EAAE,yBAAyB,GAAG,IAAI,GAAG,SAAS,GACvD,4BAA4B,GAAG,IAAI,CAiBrC;AAED,UAAU,cAAe,SAAQ,MAAM;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB"}