Transaction_protocol_stateTransactions included in a block with the associated block data which is the protocol state body of the previous block. TODO: This will change to current block
module Block_data : sig ... endmodule Poly : sig ... endmodule Stable : sig ... endtype 'a t = 'a Stable.Latest.tval transaction : 'a t -> 'aval block_data : _ t -> Block_data.t