Module `Mavryk_raw_protocol_alpha.Protocol_treasury_migration`

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