Module `Mavryk_raw_protocol_001_PtAtLas.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_001_PtAtLas.Error_monad.tzresult
        Mavryk_protocol_environment_001_PtAtLas.Lwt.t) ->
  (Raw_context.t * Migration_repr.origination_result list)
    Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t