Skip to content

OCaml

Making OCaml recursive modules convenient

Jane St posted about recursive OCaml modules from recursive signatures a while ago. module rec Even : sig type t = Zero | Succ of Odd.t end = Even and Odd : sig type t = Succ of Even.t end = Odd You cannot have functions inside recursive modules defined this way which is really