export const ExampleLambdaCode: { __type: 'ExampleLambdaCode', protocol: string, code: object[] } = {
    __type: 'ExampleLambdaCode',
    protocol: 'PsDELPH1Kxsxt8f9eWbxQeRxkjfbxoqM52jvs5Y5fBxWWh4ifpo',
    code: JSON.parse(`[{"prim":"parameter","args":[{"prim":"or","args":[{"prim":"unit","annots":["%callModifyValue"]},{"prim":"lambda","annots":["%updateModifyValueFunction"],"args":[{"prim":"int"},{"prim":"int"}]}]}]},{"prim":"storage","args":[{"prim":"pair","args":[{"prim":"int","annots":["%currentValue"]},{"prim":"lambda","annots":["%modifyValue"],"args":[{"prim":"int"},{"prim":"int"}]}]}]},{"prim":"code","args":[[[[{"prim":"DUP"},{"prim":"CAR"},{"prim":"DIP","args":[[{"prim":"CDR"}]]}]],{"prim":"SWAP"},[[{"prim":"DUP"},{"prim":"CAR"},{"prim":"DIP","args":[[{"prim":"CDR"}]]}]],{"prim":"DIG","args":[{"int":"2"}]},{"prim":"IF_LEFT","args":[[{"prim":"DROP"},[{"prim":"DIP","args":[[{"prim":"DUP"}]]},{"prim":"SWAP"}],{"prim":"SWAP"},{"prim":"EXEC"},{"prim":"SWAP"}],[{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DROP"}]]},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"PAIR"}]]},{"prim":"view","args":[{"string":"getView"},{"prim":"string"},{"prim":"int"},[[[{"prim":"DUP"},{"prim":"CAR"},{"prim":"DIP","args":[[{"prim":"CDR"}]]}]],{"prim":"PUSH","args":[{"prim":"string"},{"string":"checkFunction"}]},[{"prim":"DIP","args":[[{"prim":"DUP"}]]},{"prim":"SWAP"}],{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"IF","args":[[{"prim":"DROP"},{"prim":"DUP"},{"prim":"CAR"},{"prim":"SWAP"},{"prim":"CDR"},{"prim":"SWAP"},{"prim":"EXEC"}],[{"prim":"SWAP"},{"prim":"DROP"},{"prim":"PUSH","args":[{"prim":"string"},{"string":" not found on this contract"}]},{"prim":"SWAP"},{"prim":"PUSH","args":[{"prim":"string"},{"string":"View "}]},{"prim":"CONCAT"},{"prim":"CONCAT"},{"prim":"FAILWITH"}]]}]]}]`)
};