{"version":3,"file":"ProofCommand.d.ts","sourceRoot":"","sources":["../src/ProofCommand.js"],"names":[],"mappings":";AAiBA;;;GAGG;AACH;IACE;;;;OAIG;IACH,kBAFW,MAAM,EAOhB;IAED;;;;;;;;OAQG;IACH,kBAJW,MAAM,YACN,MAAM,GACJ,OAAO,CAAC,IAAI,CAAC,CAiBzB;CACF;oBAjDmB,cAAc"}