Контракт Scilla может поставляться с некоторыми вспомогательными библиотеками, которые объявляют чисто функциональные компоненты контракта.
Библиотека объявляется в преамбуле контракта с использованием ключевого слова library, за которым следует имя библиотеки.
В коде контракта HelloWorld есть функция one_msg в библиотеке и две глобальные константы.
Стандартные библиотеки, поставляемые с языком, могут быть добавлены с помощью ключевого слова import, за которым следует имя библиотеки.