Module Mavryk_protocol_environment_demo_counter.Timelock

val chest_encoding : chest Data_encoding.t
val chest_key_encoding : chest_key Data_encoding.t
type opening_result = Mavryk_crypto.Timelock.opening_result =
  1. | Correct of Bytes.t
  2. | Bogus_opening
val open_chest : chest -> chest_key -> time:int -> opening_result
val get_plaintext_size : chest -> int