Integer
整数型
Scillaには、符号あり整数型と符号なし整数型が定義されています。
Int32 Int64 Int128 Int256
Uint32 Uint64 Uint128 Uint256
下記は、グローバルな符号なし整数32型43を宣言しています。
let x = Uint32 43
builtin関数
Scilla言語には整数型に関する操作関数が定義されており、Int Uintの両方を引数として指定できます。
builtin eq i1 i2
i1とi2が等しいかどうかBoolean型を返します。
builtin add i1 i2:
i1とi2を足し算し、同じ整数型を返します。
builtin sub i1 i2
i1からi2を引き算し、同じ整数型を返します。
builtin mul i1 i2
i1とi2の積を同じ整数型を返します。
builtin div i1 i2
i1をi2で割った同じ整数型を返します。
builtin rem i1 i2
i1をi2で割った余りを同じ整数型で返します。
builtin lt i1 i2
i1はi2より小さいかどうかBoolean型を返します。
補足
お金に関する整数型は、Uint128で定義されます。
引用元:scilla-lang.org