Code

update outdated doc comment#2014

Code

Merged

Ptival merged 1 commit intomasterGaloisInc/saw-script:masterfrom vr/write-coq-cryptol-module-documentationGaloisInc/saw-script:vr/write-coq-cryptol-module-documentationCopy head branch name to clipboardJan 19, 2024

+7-8

Commits

Commits on Jan 19, 2024

• update outdated doc comment

  Ptival

  committed
  4541ca4

  Copy full SHA for 4541ca4