Moana implementation in OCAML