Parse/unparse for comparable_ty and ty
- we update the protocol to the current version + the no-annots MR tezos/tezos!2482 (closed)
- we write some proofs about the parse/unparse functions on
comparable_ty
andty
.
Edited by Guillaume Claret
comparable_ty
and ty
.