Manuscript Documentation
v0.1.0

Modules#

Each .ms file is a module. Import individual declarations from other files and use export for declarations other modules may use. Boundary contracts describe the data and operations those modules expose.