Traceable

Generates a dedicated tez transfer action

The traceable extension, when decorating a tez value, generates an dedicated contract transaction to load the corresponding amount.

traceable.arlx
archetype extension traceable (
variable[%traceable%] anamount tez from fromR to toR
) = {
action transfer_<%anamount> = {
called by fromR
accept transfer
(* accept transfer *)
require {
c1 : transferred = anamount
}
}
}