Requires ocaml-version >= 4.01