37 lines
518 B
Plaintext
37 lines
518 B
Plaintext
include "Option.aes"
|
|
include "Pair.aes"
|
|
include "String.aes"
|
|
include "Triple.aes"
|
|
|
|
using Pair
|
|
using Triple hiding [fst, snd]
|
|
|
|
namespace Nsp =
|
|
using Option
|
|
|
|
function h() =
|
|
let op = Some((2, 3, 4))
|
|
if (is_some(op))
|
|
thd(force(op)) == 4
|
|
else
|
|
false
|
|
|
|
contract Cntr =
|
|
using Nsp
|
|
|
|
entrypoint init() = ()
|
|
|
|
function f() =
|
|
let p = (1, 2)
|
|
if (h())
|
|
fst(p)
|
|
else
|
|
snd(p)
|
|
|
|
function g() =
|
|
using String for [concat]
|
|
|
|
let s1 = "abc"
|
|
let s2 = "def"
|
|
concat(s1, s2)
|