T.Global_state
type t = Mina_transaction_logic.Make(L).Global_state.t = {
ledger : L.t;
fee_excess : Currency.Amount.Signed.t;
supply_increase : Currency.Amount.Signed.t;
protocol_state : Mina_base.Zkapp_precondition.Protocol_state.View.t;
}