Tezos_protocol_environment_015_PtLimaPt.Timelocktype chest = Tezos_crypto.Timelock_legacy.chestval chest_encoding : chest Data_encoding.ttype chest_key = Tezos_crypto.Timelock_legacy.chest_keyval chest_key_encoding : chest_key Data_encoding.ttype opening_result = Tezos_crypto.Timelock_legacy.opening_result = | Correct of Bytes.t| Bogus_cipher| Bogus_openingval open_chest : chest -> chest_key -> time:int -> opening_resultval get_plaintext_size : chest -> int