tezos-protocol-005-PsBabyM1 20.1

val migrate_delegated : 
  Raw_context.context ->
  Contract_repr.Index.t ->
  Raw_context.context
    Tezos_protocol_environment_005_PsBabyM1.Error_monad.tzresult
    Tezos_protocol_environment_005_PsBabyM1.Lwt.t

val transform_script : 
  (manager_pkh:
     Tezos_protocol_environment_005_PsBabyM1.Signature.Public_key_hash.t ->
    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.Error_monad.tzresult
      Tezos_protocol_environment_005_PsBabyM1.Lwt.t) ->
  manager_pkh:
    Tezos_protocol_environment_005_PsBabyM1.Signature.Public_key_hash.t ->
  Raw_context.t ->
  Contract_repr.t ->
  Script_repr.lazy_expr ->
  Raw_context.t Tezos_protocol_environment_005_PsBabyM1.Error_monad.tzresult
    Tezos_protocol_environment_005_PsBabyM1.Lwt.t

val manager_script_storage : 
  Tezos_protocol_environment_005_PsBabyM1.Signature.Public_key_hash.t ->
  Script_repr.lazy_expr

val allocate_contract : 
  Raw_context.t ->
  Contract_repr.t ->
  Raw_context.t Tezos_protocol_environment_005_PsBabyM1.Error_monad.tzresult
    Tezos_protocol_environment_005_PsBabyM1.Lwt.t

val process_contract_add_manager : 
  Contract_repr.contract ->
  Storage.Contract.Counter.context ->
  Storage.Contract.Counter.context
    Tezos_protocol_environment_005_PsBabyM1.Error_monad.tzresult
    Tezos_protocol_environment_005_PsBabyM1.Lwt.t

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

val migrate_multisig_script : 
  Raw_context.t ->
  Contract_repr.t ->
  Script_repr.expr ->
  Raw_context.t Tezos_protocol_environment_005_PsBabyM1.Error_monad.tzresult
    Tezos_protocol_environment_005_PsBabyM1.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.Error_monad.tzresult
    Tezos_protocol_environment_005_PsBabyM1.Lwt.t

val process_contract : 
  Contract_repr.t ->
  Raw_context.t ->
  Storage.Contract.Counter.context
    Tezos_protocol_environment_005_PsBabyM1.Error_monad.tzresult
    Tezos_protocol_environment_005_PsBabyM1.Lwt.t

val invoice_contract : 
  Raw_context.t ->
  string ->
  int ->
  Raw_context.t Tezos_protocol_environment_005_PsBabyM1.Error_monad.tzresult
    Tezos_protocol_environment_005_PsBabyM1.Lwt.t

val migrate_contract_big_map : 
  Storage.Contract.Code.context ->
  Storage.Contract.Code.key ->
  Raw_context.t Tezos_protocol_environment_005_PsBabyM1.Error_monad.tzresult
    Tezos_protocol_environment_005_PsBabyM1.Lwt.t

val prepare_first_block : 
  Tezos_protocol_environment_005_PsBabyM1.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.Error_monad.tzresult
        Tezos_protocol_environment_005_PsBabyM1.Lwt.t) ->
  level:int32 ->
  timestamp:Tezos_protocol_environment_005_PsBabyM1.Time.t ->
  fitness:Tezos_protocol_environment_005_PsBabyM1.Fitness.t ->
  Raw_context.t Tezos_protocol_environment_005_PsBabyM1.Error_monad.tzresult
    Tezos_protocol_environment_005_PsBabyM1.Lwt.t

val prepare : 
  Tezos_protocol_environment_005_PsBabyM1.Context.t ->
  level:Tezos_protocol_environment_005_PsBabyM1.Int32.t ->
  predecessor_timestamp:Tezos_protocol_environment_005_PsBabyM1.Time.t ->
  timestamp:Tezos_protocol_environment_005_PsBabyM1.Time.t ->
  fitness:Tezos_protocol_environment_005_PsBabyM1.Fitness.t ->
  Raw_context.context
    Tezos_protocol_environment_005_PsBabyM1.Error_monad.tzresult
    Tezos_protocol_environment_005_PsBabyM1.Lwt.t

package tezos-protocol-005-PsBabyM1