package tezos-protocol-012-Psithaca
type 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_opening
val open_chest : chest -> chest_key -> time:int -> opening_resultval get_plaintext_size : chest -> int