Contents
Project Page
Index
Table of contents
Contents:
Library ConCert.Examples.PiggyBank.PiggyBankExtractRust
From
ConCert.Examples.PiggyBank
Require
Import
PiggyBank
.
(* TODO: extract the piggybank contract to Rust *)