In /workspace, create a small OCaml program that uses the QCheck property-based testing library to verify…

In /workspace, create a small OCaml program that uses the QCheck property-based testing library to verify…: a task in Repo2RLEnv TerminalWorld (EuniAI) (Harbor dataset). Build and run the resulting simple.byte binary, capturing both stdout and stderr to /app/result.txt. The file /app/result.txt…