Home

Welcome to the OpenSC wiki!

---

This is only a tony project for programming-language & translator class.

---

Syntax

Types

Simple Types

• UInt
• Int
• String
• Adress
• Bool: True, False
• Unit: ()

Complex Structs

• signature
• map
• event

Global Variable

Env

• usage: Env.value, Env.sender

Fields

• storage
• memory
• guard
• effects