{"version":3,"file":"formalSpecPrompts.d.ts","sourceRoot":"","sources":["../../../src/features/interactive/formalSpecPrompts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,yBAAyB,CAAC;AAK5E,wBAAgB,iCAAiC,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,GAAG,MAAM,CAE3E;AA0BD,8EAA8E;AAC9E,wBAAgB,qCAAqC,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,GAAG,MAAM,CAkB/E;AAED,iFAAiF;AACjF,wBAAgB,+BAA+B,CAC7C,IAAI,EAAE,IAAI,GAAG,IAAI,EACjB,kBAAkB,CAAC,EAAE,MAAM,GAC1B,MAAM,CAsBR;AAED,+EAA+E;AAC/E,wBAAgB,yCAAyC,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,GAAG,MAAM,CAkBnF;AAED,wFAAwF;AACxF,wBAAgB,mCAAmC,CACjD,MAAM,EAAE,4BAA4B,EACpC,iBAAiB,EAAE,MAAM,EACzB,IAAI,EAAE,IAAI,GAAG,IAAI,GAChB,MAAM,CAuBR"}