timelock
let create: (_: bytes) => (_: nat) => [chest, chest_key]
let create_key: (_: chest) => (_: nat) => chest_key
let verify: (_: chest) => (_: chest_key) => (_: nat) => bool
The call verify(chest, chest_key, n)
verifies a matching
between chest
and chest_key
(taking into account n
).