Make it possible to define a type with FA2 annotations
Clarification and motivation
See FA2. One day we will inevitably have to implement a contract conforming to it in Lorentz or Indigo. Look at the total_supply
type:
(pair %total_supply
(list %token_ids nat)
(contract %callback
(list
(pair
(nat %token_id)
(nat %total_supply)
)
)
)
)
There are two problems:
-
snake_case
annotations. - Field annotations for things that are not entrypoints.
Currently we can't generate such things.
Acceptance criteria
There should be an easy and convenient way to define a parameter type having total_supply
entrypoint with above type.