Let’s assume contract A is
parameter (stamped_value nat);
storage (pair address nat);
code { UNPAIR; READ_STAMPED_VALUE; ASSERT_CMPEQ }
If the stored address is the one of an implicit account, is there a way successfully call this contract (from this address)?
We could either decide that stamping is restricted to smart contracts or allow stamping from implicit account by considering any literal of type 'a
as a valid literal of type stamped_value 'a