A slightly different kind of constructor which acts like a function call: it reduces to itself and triggers further reduction on compute_at function.
It allows the user to signal that "this data has been recently created".
e.g.
(MyContract {Update}) =
let x:xs = (Load);
ask (Save {T2 (Inc x) xs}); // `Inc` inside of `T2` will not reduce when it's saved
(Done #0)
(MyContract {Update}) =
let x:xs = (Load);
ask (Save {#T2 (Inc x) xs}); // `Inc` inside of `T2` will reduce when it's saved because `#T2` will be reduced itself
(Done #0)
A slightly different kind of constructor which acts like a function call: it reduces to itself and triggers further reduction on
compute_atfunction.It allows the user to signal that "this data has been recently created".
e.g.