📄Storage & action types

Developer actions

Action type for module setters.

type dev_action_t       is
| Set_dev_address         of address
| Set_dev_fee             of nat

Developer storage

type dev_storage_t      is [@layout:comb] record [
  dev_address             : address;
  dev_fee                 : nat;
  dev_lambdas             : big_map(nat, bytes);
]

Lambda type

Lambda is stored as bytes, packed from dev_func_t.

type dev_func_t is (dev_action_t * dev_storage_t) -> dev_storage_t

Last updated