UNPKG

namillum

Version:
40 lines (28 loc) 891 B
--- tags: - bool - boolean - "true" - "false" - if --- # Boolean The boolean (Bool) is a type which can have two values, true and false. A Bool is considered an ADT when performing interactions with contracts. Consider the below definition of creating a type similar to Bool. ```ocaml type Example = | True | False ``` A Bool value can be returned from functions like `builtin eq` which leverages the two types of Bool to return a value. The value `is_equal` is either true or false. ```ocaml is_equal = builtin eq a b ``` Therefore, we can use Bool ADT pattern matching to perform a basic if statement ```ocaml match is_equal with | True => | False => end ``` ## Further reading [Bool](https://scilla.readthedocs.io/en/latest/scilla-in-depth.html?highlight=bool#boolean) [BoolUtils](https://scilla.readthedocs.io/en/latest/stdlib.html?highlight=bool#boolutils)