package tezos-protocol-plugin-015-PtLimaPt

val make_tzip4_viewer_script : 
  Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.prim
    Tezos_micheline.Micheline.canonical ->
  Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.t

val make_view_parameter : 
  (int, Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node ->
  Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.prim
    Tezos_micheline.Micheline.canonical

val extract_view_output_type : 
  Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Entrypoint.t ->
  Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.prim
    Tezos_micheline.Micheline.canonical ->
  (Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.prim
     Tezos_micheline.Micheline.canonical,
    Tezos_protocol_015_PtLimaPt.Environment.Error_monad.error
      Tezos_protocol_015_PtLimaPt.Environment.Error_monad.trace)
    Tezos_protocol_environment_015_PtLimaPt.Pervasives.result

val extract_parameter_from_operations : 
  Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Entrypoint.t ->
  Tezos_protocol_015_PtLimaPt.Protocol.Script_typed_ir.packed_internal_operation
    list ->
  Tezos_protocol_015_PtLimaPt.Protocol.Contract_hash.t ->
  (Tezos_raw_protocol_015_PtLimaPt.Alpha_context.Script.expr,
    Tezos_protocol_015_PtLimaPt.Environment.Error_monad.error
      Tezos_protocol_015_PtLimaPt.Environment.Error_monad.trace)
    Tezos_protocol_environment_015_PtLimaPt.Pervasives.result

val make_michelson_viewer_script : 
  Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Contract.t ->
  string ->
  Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.prim
    Tezos_micheline.Micheline.canonical ->
  (Tezos_micheline.Micheline.canonical_location,
    Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node ->
  (Tezos_micheline.Micheline.canonical_location,
    Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node ->
  Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.t

val extract_value_from_storage : 
  Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr ->
  ((Tezos_micheline.Micheline.canonical_location,
     Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.prim)
     Tezos_micheline.Micheline.node,
    Tezos_protocol_015_PtLimaPt.Environment.Error_monad.error
      Tezos_protocol_015_PtLimaPt.Environment.Error_monad.trace)
    Tezos_protocol_environment_015_PtLimaPt.Pervasives.result