G (mavryk-protocol-alpha.Mavryk_raw_protocol_alpha.Carbonated

type context

val consume : 
  context ->
  Saturation_repr.may_saturate Saturation_repr.t ->
  context Mavryk_protocol_environment_alpha.Error_monad.tzresult

consume ctxt cost returns a context where cost has been consumed.