Operation_result (mavkit-protocol-001-PtAtLas-libs.Mavryk_client_001_PtAtLas.Operation

val tez_sym : string

val normalize_internal_operation : 
  Protocol_client_context.full ->
  Mavryk_protocol_001_PtAtLas.Protocol.Script_ir_unparser.unparsing_mode ->
  Mavryk_protocol_001_PtAtLas.Protocol.Apply_internal_results.packed_internal_operation ->
  Mavryk_protocol_001_PtAtLas.Protocol.Apply_internal_results.packed_internal_operation
    Mavryk_base.TzPervasives.tzresult
    Lwt.t

val pp_internal_operation : 
  Stdlib.Format.formatter ->
  Mavryk_protocol_001_PtAtLas.Protocol.Apply_internal_results.packed_internal_operation ->
  unit

val pp_operation_result : 
  Stdlib.Format.formatter ->
  ('kind Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.contents_list
   * 'kind
       Mavryk_protocol_001_PtAtLas.Protocol.Apply_results.contents_result_list) ->
  unit