{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../src/prover/types.ts"],"names":[],"mappings":"AACA,MAAM,WAAW,KAAK;IAClB,CAAC,EAAE,UAAU,CAAA;IACb,CAAC,EAAE,UAAU,CAAA;IACb,CAAC,EAAE,UAAU,CAAA;CAChB;AAED,oBAAY,UAAU;IAClB,eAAe,IAAI;IACnB,iBAAiB,IAAA;CACpB"}