Phase4_backend_step1_checks
val check : string -> (Types.phase_result, Types.phase_result) Stdlib.result
Step to migrate backend/setup.sh: