Specifying type with a constant Optional, if you want to do it:

integer literals Literals can be written with _ as separators if desired to enhance readability, e.g. 1_000_000 Binary: 0b00001111 Hexadecimal: 0xF Octal: 0o17

Primitive types boolean True or False integer Arbitrary sized integer (there is no underflow or overflow). string UTF8 encoded binariesThe use case for strings is extremely narrow in Aiken and on-chain code, they are only used for tracing, a bit like labels attached to specific execution paths of your program. Most of the time, you […]

let expect You can also introduce new bindings through the expect keyword.