tezos-protocol-005-PsBabyM1 12.3

tezos-protocol-005-PsBabyM1

val migrate_delegated : 
  Raw_context.context ->
  Contract_repr.Index.t ->
  (Raw_context.context,
    Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error list)
    result
    Lwt.t

val transform_script : 
  (manager_pkh:Tezos_crypto.Signature.public_key_hash ->
    script_code:Script_repr.lazy_expr ->
    script_storage:Script_repr.lazy_expr ->
    (Script_repr.lazy_expr * Script_repr.lazy_expr,
      Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error
        list)
      result
      Lwt.t) ->
  manager_pkh:Tezos_crypto.Signature.public_key_hash ->
  Raw_context.t ->
  Contract_repr.t ->
  Script_repr.lazy_expr ->
  (Raw_context.t,
    Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error list)
    result
    Lwt.t

val manager_script_storage : 
  Tezos_crypto.Signature.public_key_hash ->
  Script_repr.lazy_expr

val allocate_contract : 
  Raw_context.t ->
  Contract_repr.t ->
  (Raw_context.t,
    Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error list)
    result
    Lwt.t

val process_contract_add_manager : 
  Contract_repr.contract ->
  Storage.Contract.Counter.context ->
  (Storage.Contract.Counter.context,
    Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error list)
    result
    Lwt.t

val update_contract_script : 
  (int, Michelson_v1_primitives.prim) Tezos_micheline.Micheline.node ->
  (int, Michelson_v1_primitives.prim) Tezos_micheline.Micheline.node

val migrate_multisig_script : 
  Raw_context.t ->
  Contract_repr.t ->
  Script_repr.expr ->
  (Raw_context.t,
    Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error list)
    result
    Lwt.t

val multisig_hash : Script_expr_hash.t

val process_contract_multisig : 
  Contract_repr.t ->
  Raw_context.t ->
  (Raw_context.t,
    Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error list)
    result
    Lwt.t

val process_contract : 
  Contract_repr.t ->
  Raw_context.t ->
  (Storage.Contract.Counter.context,
    Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error list)
    result
    Lwt.t

val invoice_contract : 
  Raw_context.t ->
  string ->
  int ->
  (Raw_context.t,
    Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error list)
    result
    Lwt.t

val migrate_contract_big_map : 
  Storage.Contract.Code.context ->
  Storage.Contract.Code.key ->
  (Raw_context.t,
    Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error list)
    result
    Lwt.t

val prepare_first_block : 
  Environment_context.Context.t ->
  typecheck:
    (Raw_context.t ->
      Script_repr.t ->
      ((Script_repr.t * Contract_storage.big_map_diff option) * Raw_context.t,
        Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error
          list)
        result
        Lwt.t) ->
  level:int32 ->
  timestamp:Tezos_base.Time.Protocol.t ->
  fitness:Tezos_protocol_environment_structs.V0.M.MBytes.t list ->
  (Raw_context.t,
    Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error list)
    result
    Lwt.t

val prepare : 
  Environment_context.Context.t ->
  level:int32 ->
  predecessor_timestamp:Tezos_base.Time.Protocol.t ->
  timestamp:Tezos_base.Time.Protocol.t ->
  fitness:Tezos_protocol_environment_structs.V0.M.MBytes.t list ->
  (Raw_context.context,
    Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error list)
    result
    Lwt.t

package tezos-protocol-005-PsBabyM1