I have developed a certain tool using OCaml (which was extracted from Coq proofs). I want to do some experiments to empirically observe the memory consumption by this OCaml
