Data.Block_datatype t = Proof_of_stake.Data.Block_data.tval epoch_ledger : t -> Mina_ledger.Sparse_ledger.tval global_slot : t -> Mina_numbers.Global_slot.tval prover_state : t -> Prover_state.tval global_slot_since_genesis : t -> Mina_numbers.Global_slot.tval coinbase_receiver : t -> Signature_lib.Public_key.Compressed.t