1-Inputs.Global_stateval fee_excess : t -> Amount.Signed.tval set_fee_excess : t -> Amount.Signed.t -> tval supply_increase : t -> Amount.Signed.tval set_supply_increase : t -> Amount.Signed.t -> tval global_slot_since_genesis : t -> Global_slot.t