Stdlib

The Scilla Standard Library

Adding new module

To add a new module to the standard library:

• Add Foo.scillib to src/stdlib directory
• Add (Foo.scillib as stdlib/Foo.scillib) entry to src/stdlib/dune file.