This post presents a functional heap - leftist tree in OCaml. It walks through binary heap, list based heap towards leftist tree. OCaml code has been supplied....