Coq translator: fix array literal support#1815

Merged

eddywestbrook merged 2 commits intomasterfrom saw-core-coq/vector-literals

Feb 9, 2023

+97-52

Commits on Feb 7, 2023

changed the implementation of write_coq_cryptol_module so that the output types of Coq Definitions generated from cryptol modules are annotated with the translations of their types
Eddy Westbrook
committed

Commits on Feb 8, 2023

added more haddocks and other comments
Eddy Westbrook
committed