Program some features for programming language interpreter in Ocaml

I need to program some features for programming language interpreter in Ocaml. I will provide more details in chat.