tezos-protocol-plugin-010-PtGRANAD 12.3

module S : sig ... end

module type UNPARSING_MODE = sig ... end

module Traced_interpreter (Unparsing_mode : UNPARSING_MODE) : sig ... end

module Unparse_types : sig ... end

val register : unit -> unit

val run_code : 
  ?unparsing_mode:
    Tezos_protocol_010_PtGRANAD.Protocol.Script_ir_translator.unparsing_mode ->
  ?gas:Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Gas.Arith.integral ->
  ?entrypoint:string ->
  script:Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Script.expr ->
  storage:Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Script.expr ->
  input:Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Script.expr ->
  amount:Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Tez.t ->
  balance:Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Tez.t ->
  chain_id:Tezos_protocol_010_PtGRANAD.Protocol.Environment.Chain_id.t ->
  source:Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Contract.t option ->
  payer:Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Contract.t option ->
  'a Tezos_protocol_010_PtGRANAD.Protocol.Environment.RPC_context.simple ->
  'a ->
  (Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Script.expr
   * Tezos_raw_protocol_010_PtGRANAD__Alpha_context.packed_internal_operation
       list
   * Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Lazy_storage.diffs
       option,
    Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace)
    result
    Lwt.t

val trace_code : 
  ?unparsing_mode:
    Tezos_protocol_010_PtGRANAD.Protocol.Script_ir_translator.unparsing_mode ->
  ?gas:Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Gas.Arith.integral ->
  ?entrypoint:string ->
  script:Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Script.expr ->
  storage:Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Script.expr ->
  input:Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Script.expr ->
  amount:Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Tez.t ->
  balance:Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Tez.t ->
  chain_id:Tezos_protocol_010_PtGRANAD.Protocol.Environment.Chain_id.t ->
  source:Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Contract.t option ->
  payer:Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Contract.t option ->
  'a Tezos_protocol_010_PtGRANAD.Protocol.Environment.RPC_context.simple ->
  'a ->
  (Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Script.expr
   * Tezos_raw_protocol_010_PtGRANAD__Alpha_context.packed_internal_operation
       list
   * (Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Script.location
      * Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Gas.t
      * (Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Script.expr
         * string option)
          list)
       list
   * Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Lazy_storage.diffs
       option,
    Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace)
    result
    Lwt.t

val run_view : 
  ?gas:Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Gas.Arith.integral ->
  contract:Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Contract.t ->
  entrypoint:string ->
  input:Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Script.expr ->
  chain_id:Tezos_protocol_010_PtGRANAD.Protocol.Environment.Chain_id.t ->
  ?source:Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Contract.t ->
  ?payer:Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Contract.t ->
  unparsing_mode:
    Tezos_protocol_010_PtGRANAD.Protocol.Script_ir_translator.unparsing_mode ->
  'a Tezos_protocol_010_PtGRANAD.Protocol.Environment.RPC_context.simple ->
  'a ->
  (Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Script.expr,
    Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace)
    result
    Lwt.t

val typecheck_code : 
  ?gas:Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Gas.Arith.integral ->
  ?legacy:bool ->
  script:Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Script.expr ->
  'a Tezos_protocol_010_PtGRANAD.Protocol.Environment.RPC_context.simple ->
  'a ->
  ((Tezos_raw_protocol_010_PtGRANAD.Alpha_context.Script.location
    * ((Tezos_raw_protocol_010_PtGRANAD.Alpha_context.Script.expr * string list)
         list
       * (Tezos_raw_protocol_010_PtGRANAD.Alpha_context.Script.expr
          * string list)
           list))
     list
   * Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Gas.t,
    Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace)
    result
    Lwt.t

val typecheck_data : 
  ?gas:Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Gas.Arith.integral ->
  ?legacy:bool ->
  data:Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Script.expr ->
  ty:Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Script.expr ->
  'a Tezos_protocol_010_PtGRANAD.Protocol.Environment.RPC_context.simple ->
  'a ->
  (Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Gas.t,
    Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace)
    result
    Lwt.t

val pack_data : 
  ?gas:Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Gas.Arith.integral ->
  data:Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Script.expr ->
  ty:Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Script.expr ->
  'a Tezos_protocol_010_PtGRANAD.Protocol.Environment.RPC_context.simple ->
  'a ->
  (bytes * Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Gas.t,
    Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace)
    result
    Lwt.t

val normalize_data : 
  ?legacy:bool ->
  data:Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Script.expr ->
  ty:Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Script.expr ->
  unparsing_mode:
    Tezos_protocol_010_PtGRANAD.Protocol.Script_ir_translator.unparsing_mode ->
  'a Tezos_protocol_010_PtGRANAD.Protocol.Environment.RPC_context.simple ->
  'a ->
  (Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Script.expr,
    Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace)
    result
    Lwt.t

val normalize_script : 
  'a Tezos_protocol_010_PtGRANAD.Protocol.Environment.RPC_context.simple ->
  'a ->
  script:Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Script.expr ->
  unparsing_mode:
    Tezos_protocol_010_PtGRANAD.Protocol.Script_ir_translator.unparsing_mode ->
  (Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Script.expr,
    Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace)
    result
    Lwt.t

val normalize_type : 
  'a Tezos_protocol_010_PtGRANAD.Protocol.Environment.RPC_context.simple ->
  'a ->
  ty:Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Script.expr ->
  (Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Script.expr,
    Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace)
    result
    Lwt.t

val run_operation : 
  'a Tezos_protocol_010_PtGRANAD.Protocol.Environment.RPC_context.simple ->
  'a ->
  op:Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Operation.packed ->
  chain_id:Tezos_protocol_010_PtGRANAD.Protocol.Environment.Chain_id.t ->
  (Tezos_raw_protocol_010_PtGRANAD.Alpha_context.Operation.packed_protocol_data
   * Tezos_protocol_010_PtGRANAD.Protocol.Apply_results.packed_operation_metadata,
    Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace)
    result
    Lwt.t

val entrypoint_type : 
  'a Tezos_protocol_010_PtGRANAD.Protocol.Environment.RPC_context.simple ->
  'a ->
  script:Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Script.expr ->
  entrypoint:string ->
  (Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Script.expr,
    Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace)
    result
    Lwt.t

val list_entrypoints : 
  'a Tezos_protocol_010_PtGRANAD.Protocol.Environment.RPC_context.simple ->
  'a ->
  script:Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Script.expr ->
  (Tezos_protocol_010_PtGRANAD.Protocol.Michelson_v1_primitives.prim list list
   * (string * Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Script.expr)
       list,
    Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace)
    result
    Lwt.t

package tezos-protocol-plugin-010-PtGRANAD