A Scilla contract may come with some helper libraries that declare purely functional components of a contract.
A library is declared in the preamble of a contract using the keyword library followed by the name of the library.
HelloWorld contract code has a function one_msg in the library and two global constants.
Standard libraries shipped with the language can be added using the keyword import followed by the name of the library.