example_infinite_recursive_md_type.ml

type ('a, 'b) eq = Eq : ('a, 'a) eq

module type X = sig
  module type T'

  module type T = sig
    module T : T'
  end

  type a

  val eq : (a, (module T)) eq

  val eq' : (a, (module T')) eq
end

module rec V : X = struct
  module type T' = V.T

  module type T = sig
    module T : V.T'
  end

  type a = (module T)

  let eq = (Eq : (a, (module T)) eq)

  let eq' = (Eq : (a, (module T')) eq)
end

let f : (module V.T') -> (module V.T) =
 fun packed ->
  let a : V.a =
    let Eq = V.eq' in
    packed
  in
  let Eq = V.eq in
  a

let f' : (module V.T) -> (module V.T') =
 fun packed ->
  let a : V.a =
    let Eq = V.eq in
    packed
  in
  let Eq = V.eq' in
  a