Context.CLST
val redeemed_frozen_balance : t -> Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t -> Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t option Tezos_base.TzPervasives.tzresult Lwt.t