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).