Skip to content

Parse/unparse for comparable_ty and ty

Guillaume Claret requested to merge update-with-no-annots into master
  • 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 and ty.
Edited by Guillaume Claret

Merge request reports