builtin関数

Scilla言語には既に組み込まれている各型毎の関数があります。