octez-protocol-009-PsFLoren-libs 19.0

module Program : 
  Tezos_client_base.Client_aliases.Alias
    with type t =
           Tezos_client_009_PsFLoren.Michelson_v1_parser.parsed
             Tezos_micheline.Micheline_parser.parsing_result

val run_view : 
  Protocol_client_context.rpc_context ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  contract:Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.Contract.t ->
  entrypoint:string ->
  input:Michelson_v1_parser.parsed ->
  unparsing_mode:
    Tezos_protocol_009_PsFLoren.Protocol.Script_ir_translator.unparsing_mode ->
  ?source:Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.Contract.t ->
  ?payer:Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.Contract.t ->
  ?gas:Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.Gas.Arith.integral ->
  unit ->
  Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.Script.expr
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val run : 
  Protocol_client_context.rpc_context ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  ?amount:Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.Tez.t ->
  balance:Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.Tez.t ->
  program:Michelson_v1_parser.parsed ->
  storage:Michelson_v1_parser.parsed ->
  input:Michelson_v1_parser.parsed ->
  unparsing_mode:
    Tezos_protocol_009_PsFLoren.Protocol.Script_ir_translator.unparsing_mode ->
  ?source:Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.Contract.t ->
  ?payer:Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.Contract.t ->
  ?gas:Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.Gas.Arith.integral ->
  ?entrypoint:string ->
  unit ->
  (Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.Script.expr
   * Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.packed_internal_operation
       list
   * Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.Lazy_storage.diffs
       option)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val trace : 
  Protocol_client_context.rpc_context ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  ?amount:Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.Tez.t ->
  balance:Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.Tez.t ->
  program:Michelson_v1_parser.parsed ->
  storage:Michelson_v1_parser.parsed ->
  input:Michelson_v1_parser.parsed ->
  unparsing_mode:
    Tezos_protocol_009_PsFLoren.Protocol.Script_ir_translator.unparsing_mode ->
  ?source:Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.Contract.t ->
  ?payer:Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.Contract.t ->
  ?gas:Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.Gas.Arith.integral ->
  ?entrypoint:string ->
  unit ->
  (Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.Script.expr
   * Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.packed_internal_operation
       list
   * Tezos_protocol_009_PsFLoren.Protocol.Script_interpreter.execution_trace
   * Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.Lazy_storage.diffs
       option)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val print_view_result : 
  Tezos_client_base.Client_context.printer ->
  Tezos_protocol_009_PsFLoren.Protocol.Script_repr.expr
    Tezos_base.TzPervasives.tzresult ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val print_run_result : 
  Tezos_client_base.Client_context.printer ->
  show_source:bool ->
  parsed:Michelson_v1_parser.parsed ->
  (Tezos_protocol_009_PsFLoren.Protocol.Script_repr.expr
   * Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.packed_internal_operation
       list
   * Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.Lazy_storage.diffs
       option)
    Tezos_base.TzPervasives.tzresult ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val print_trace_result : 
  Tezos_client_base.Client_context.printer ->
  show_source:bool ->
  parsed:Michelson_v1_parser.parsed ->
  (Tezos_protocol_009_PsFLoren.Protocol.Script_repr.expr
   * Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.packed_internal_operation
       list
   * Tezos_protocol_009_PsFLoren.Protocol.Script_interpreter.execution_trace
   * Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.Lazy_storage.diffs
       option)
    Tezos_base.TzPervasives.tzresult ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val typecheck_data : 
  Protocol_client_context.rpc_context ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  ?gas:Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.Gas.Arith.integral ->
  ?legacy:bool ->
  data:Michelson_v1_parser.parsed ->
  ty:Michelson_v1_parser.parsed ->
  unit ->
  Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.Gas.t
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val typecheck_program : 
  Protocol_client_context.rpc_context ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  ?gas:Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.Gas.Arith.integral ->
  ?legacy:bool ->
  Michelson_v1_parser.parsed ->
  (Tezos_protocol_009_PsFLoren.Protocol.Script_tc_errors.type_map
   * Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.Gas.t)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val print_typecheck_result : 
  emacs:bool ->
  show_types:bool ->
  print_source_on_error:bool ->
  Michelson_v1_parser.parsed ->
  (Tezos_protocol_009_PsFLoren.Protocol.Script_tc_errors.type_map
   * Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.Gas.t)
    Tezos_base.TzPervasives.tzresult ->
  Tezos_client_base.Client_context.printer ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val entrypoint_type : 
  Protocol_client_context.rpc_context ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  Michelson_v1_parser.parsed ->
  entrypoint:string ->
  Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.Script.expr option
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val print_entrypoint_type : 
  Tezos_client_base.Client_context.printer ->
  emacs:bool ->
  ?script_name:string ->
  show_source:bool ->
  parsed:Michelson_v1_parser.parsed ->
  entrypoint:string ->
  Tezos_protocol_009_PsFLoren.Protocol.Script_repr.expr option
    Tezos_base.TzPervasives.tzresult ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val list_entrypoints : 
  Protocol_client_context.rpc_context ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  Michelson_v1_parser.parsed ->
  (string * Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.Script.expr)
    list
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val print_entrypoints_list : 
  Tezos_client_base.Client_context.printer ->
  emacs:bool ->
  ?script_name:string ->
  show_source:bool ->
  parsed:Michelson_v1_parser.parsed ->
  (string * Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.Script.expr)
    list
    Tezos_base.TzPervasives.tzresult ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val list_unreachables : 
  Protocol_client_context.rpc_context ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  Michelson_v1_parser.parsed ->
  Tezos_protocol_009_PsFLoren.Protocol.Michelson_v1_primitives.prim list list
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val print_unreachables : 
  Tezos_client_base.Client_context.printer ->
  emacs:bool ->
  ?script_name:string ->
  show_source:bool ->
  parsed:Michelson_v1_parser.parsed ->
  Tezos_protocol_009_PsFLoren.Protocol.Michelson_v1_primitives.prim list list
    Tezos_base.TzPervasives.tzresult ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

package octez-protocol-009-PsFLoren-libs