"use strict";(self.webpackChunkmy_application=self.webpackChunkmy_application||[]).push([[6983],{3665:(t,e,n)=>{n.r(e),n.d(e,{default:()=>a});const a="type storage = int\ntype parameter =\n  Increment of int\n| Decrement of int\n| Reset\ntype return = operation list * storage\n// Two entrypoints\nlet add (store, delta : storage * int) : storage = store + delta\nlet sub (store, delta : storage * int) : storage = store - delta\n(* Main access point that dispatches to the entrypoints according to\n   the smart contract parameter. *)\nlet main (action, store : parameter * storage) : return =\n ([] : operation list),    // No operations\n (match action with\n   Increment (n) -> add (store, n)\n | Decrement (n) -> sub (store, n)\n | Reset         -> 0)\n"}}]);
//# sourceMappingURL=6983.js.map