@openreasoning/fol-types/dist/index.d.ts.map

Types of First-Order Logic formula

{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../index.ts"],"names":[],"mappings":"AAAA,cAAM,MAAM;IACR,KAAK,EAAE,MAAM,CAAC;gBAEF,KAAK,EAAE,MAAM;CAG5B;AAED,aAAK,YAAY,GAAG,MAAM,GAAG,MAAM,CAAC;AAEpC,cAAM,UAAU;IACZ,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,EAAE,CAAM;gBAER,GAAG,IAAI,EAAE,CAAC,YAAY,CAAC,EAAE;CASxC;AAED,cAAM,GAAI,SAAQ,UAAU;gBACZ,GAAG,EAAE,YAAY;CAGhC;AAED,cAAM,GAAI,SAAQ,UAAU;gBACZ,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY;CAGrD;AAED,cAAM,EAAG,SAAQ,UAAU;gBACX,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY;CAGrD;AAED,cAAM,EAAG,SAAQ,UAAU;gBACX,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY;CAGrD;AAED,cAAM,GAAI,SAAQ,UAAU;gBACZ,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY;CAGrD"}