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.

Using stdlib in opam installation

If Scilla is installed via opam, it can be used like so:

  scilla-checker -gaslimit 10000 -libdir "$(opam var scilla:lib)/stdlib" foo.scilla

where -libdir "$(opam var scilla:lib)/stdlib" specifies the path to the standard library modules.

Relevant issues

• Status of the standard library in Scilla v1.0: https://github.com/Zilliqa/scilla/issues/818