Module `Tezos_raw_protocol_alpha.Liquidity_baking_migration`

val init : 
  Raw_context.t ->
  typecheck:
    (Raw_context.t ->
      Script_repr.t ->
      ((Script_repr.t * Lazy_storage_diff.diffs option) * Raw_context.t)
        Tezos_protocol_environment_alpha.Error_monad.tzresult
        Tezos_protocol_environment_alpha.Lwt.t) ->
  (Raw_context.t * Migration_repr.origination_result list)
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t