Share your crazy OCaml code snippet!

[EduardoRFS]

@talex5

The module rec can create the module from the module type automatically, as Ast has no values.

This is especially useful with first class modules as you can do

module rec M : sig
  module type Map = sig
    type key
    (* this is the bad recursive bit *)
    val clone : unit -> (module M.Map with type key = key)
  end
end = M