Mavryk_validation.Patch_contextval patch_context :
Mavryk_base.TzPervasives.Genesis.t ->
(string * Mavryk_base.TzPervasives.Data_encoding.json) option ->
Mavryk_protocol_environment.Context.t ->
Mavryk_protocol_environment.Context.t Mavryk_base.TzPervasives.tzresult Lwt.t