Forge (tzfunc.Forge)

module Macros : sig ... end

val unmacro : 
  Proto.micheline ->
  (Proto.micheline, [> `unknown_primitive of string option | `unmacro_error ])
    Stdlib.result

val forge_primitive : 
  Proto.primitive_or_macro ->
  (Crypto.Raw.t, [> `unknown_primitive of string option ]) Stdlib.result

val forge_annots : string list -> (Crypto.Raw.t, 'a) Stdlib.result

val forge_micheline : 
  Proto.micheline ->
  (Crypto.Raw.t,
    [> `forge_error of string
    | `unknown_primitive of string option
    | `unmacro_error ])
    Stdlib.result

val forge_script_expr : 
  Proto.script_expr ->
  (Crypto.Raw.t,
    [> `forge_error of string
    | `unknown_primitive of string option
    | `unmacro_error ])
    Stdlib.result

val forge_entrypoint : Proto.entrypoint -> (Crypto.Raw.t, 'a) Stdlib.result

val forge_script : 
  Proto.script_expr Proto.contract_script ->
  (Crypto.Raw.t,
    [> `forge_error of string
    | `unknown_primitive of string option
    | `unmacro_error ])
    Stdlib.result

val forge_transaction_options : 
  Proto.script_expr Proto.parameters option ->
  (int * Crypto.Raw.t,
    [> `forge_error of string
    | `unknown_primitive of string option
    | `unmacro_error ])
    Stdlib.result

val forge_manager_op : 
  src:string ->
  fee:int64 ->
  counter:Z.t ->
  gas_limit:Z.t ->
  storage_limit:Z.t ->
  (Crypto.Raw.t, [> `forge_error of string ]) Stdlib.result

val forge_reveal : 
  src:string ->
  numbers:Proto.manager_operation_numbers ->
  string ->
  (Crypto.Raw.t, [> `forge_error of string ]) Stdlib.result

val forge_transaction : 
  src:string ->
  numbers:Proto.manager_operation_numbers ->
  amount:int64 ->
  destination:string ->
  parameters:Proto.script_expr Proto.parameters option ->
  (Crypto.Raw.t,
    [> `forge_error of string
    | `unknown_primitive of string option
    | `unmacro_error ])
    Stdlib.result

val forge_origination : 
  src:string ->
  numbers:Proto.manager_operation_numbers ->
  balance:int64 ->
  script:Proto.script_expr Proto.contract_script ->
  (Crypto.Raw.t,
    [> `forge_error of string
    | `unknown_primitive of string option
    | `unmacro_error ])
    Stdlib.result

val forge_delegation : 
  src:string ->
  numbers:Proto.manager_operation_numbers ->
  string option ->
  (Crypto.Raw.t, [> `forge_error of string ]) Stdlib.result

val forge_constant : 
  src:string ->
  numbers:Proto.manager_operation_numbers ->
  Proto.script_expr ->
  (Crypto.Raw.t,
    [> `forge_error of string
    | `unknown_primitive of string option
    | `unmacro_error ])
    Stdlib.result

val forge_deposits : 
  src:string ->
  numbers:Proto.manager_operation_numbers ->
  int64 option ->
  (Crypto.Raw.t, [> `forge_error of string ]) Stdlib.result

val forge_return_bond : 
  src:string ->
  numbers:Proto.manager_operation_numbers ->
  string ->
  (Crypto.Raw.t, [> `forge_error of string ]) Stdlib.result

val forge_transfer_ticket : 
  src:string ->
  numbers:Proto.manager_operation_numbers ->
  Proto.transfer_ticket ->
  (Crypto.Raw.t,
    [> `forge_error of string
    | `unknown_primitive of string option
    | `unmacro_error ])
    Stdlib.result

val forge_manager_operation_kind : 
  src:string ->
  numbers:Proto.manager_operation_numbers ->
  Proto.script_expr Proto.manager_operation_kind ->
  (Crypto.Raw.t,
    [> `forge_error of string
    | `operation_not_handled
    | `unknown_primitive of string option
    | `unmacro_error ])
    Stdlib.result

val forge_operation : 
  Proto.script_expr Proto.manager_operation_kind Proto.manager_operation_gen ->
  (Crypto.Raw.t,
    [> `forge_error of string
    | `operation_not_handled
    | `unknown_primitive of string option
    | `unmacro_error ])
    Stdlib.result

val forge_activation : 
  pkh:string ->
  secret:Crypto.H.t ->
  (Crypto.Raw.t, [> `forge_error of string ]) Stdlib.result

val forge_operations_base : 
  string ->
  (Crypto.Raw.t, [> `forge_error of string ] as 'a) Stdlib.result list ->
  (Crypto.Raw.t, 'a) Stdlib.result

val forge_operations : 
  string ->
  Proto.script_expr Proto.manager_operation_kind Proto.manager_operation_gen
    list ->
  (Crypto.Raw.t,
    [> `forge_error of string
    | `operation_not_handled
    | `unknown_primitive of string option
    | `unmacro_error ])
    Stdlib.result

val pack : 
  Proto.micheline ->
  Proto.micheline ->
  (Crypto.Raw.t,
    [> `forge_error of string
    | `unknown_primitive of string option
    | `unmacro_error
    | `wrong_michelson_type ])
    Stdlib.result