Follow-up from "Re-organization 3/3: Add documentation tests": add contract literals
The following discussion from !29 (merged) should be addressed:
-
@rafoo_ started a discussion: (+3 comments) By the way,
contract
is passable and it is not true that there is no literal for it; the literals of typecontract ty
are the literals of typeaddress
for whichCONTRACT ty
would returnSome _
. In particular, literals of typekey_hash
are also literals of typecontract unit
.