LandingGithubVS code extension
Search…
1.2.9
What is Archetype
Getting started
Usage
Reference
Archetype language
Constants, Variables
Strings
Dates, Durations
Numbers
Crypto
Entries, Functions
Transfers, contract calls
Conversions
Composite types
Basic containers
Assets
Partitions, Aggregates
State machine
Parameters
Metadata (TZIP-16)
Contract specification
Contract library
Governance
Digital Assets
Escrow
Auction
Finance
Insurance
IoT
Framework examples
Powered By GitBook
Archetype language
Language dedicated to smart contract definition and specification
The archetype language is a DSL to define smart contracts. This section presents the main features of the language.
The language provides the basic contract features to:
  • exchange currency between accounts
  • define data and collection of assets
  • formalise contract properties (as state machine and/or as logical properties)
Previous
Reference
Next
Constants, Variables
Last modified 3yr ago
Export as PDF
Copy link
Edit on GitHub