b.ml
type t
class type u = object end
class type uuuuuu = object end
c.ml
class type d = object
method e : B.t
method f : #B.u -> unit
end
let f : B.t = assert false
let g : #B.u -> unit = fun _ -> ()
let h : B.u -> unit = fun _ -> ()
let i : < m : B.u > -> unit = fun _ -> ()
generated html doc
class type d = object
method e : A__B.t
method f : A__.B.#u -> unit
end
val f : B.t
val g : A__.B.u -> unit
val h : B.u -> unit
val i : < m : B.u; > -> unit
I've a small reproduction case in hhugo@f369520
$ dune build @odoc-bug/doc --cache=disabled --force
Warning, resolved hidden path: A__B.t