Darft: Prepare module types
We want to extract the Coq model (and tests the PBT devs over them). We need to take several steps.
-
Pack commitments as Module types #9 (closed) -
Pack nats that should be uints as a ADT so we can choose to extract them to int64 -
Domain tying to avoid overflows?
Reopens !9 (merged)
Edited by Germán Delbianco