Extending OCaml's 'open'. - Runhang Li; Jeremy Yallop (ML/OCaml, 2017)